diff options
| author | jocuri%softhome.net <> | 2004-11-05 18:30:15 +0100 |
|---|---|---|
| committer | jocuri%softhome.net <> | 2004-11-05 18:30:15 +0100 |
| commit | c07257a3579ab460ad6a677875a468de0cd23236 (patch) | |
| tree | 5f9ab1d8ac824aae6021c686a79eb480efa28050 | |
| parent | 13143eae683102d68ceea369638998b3e72a95fa (diff) | |
| download | bugzilla-c07257a3579ab460ad6a677875a468de0cd23236.tar.gz bugzilla-c07257a3579ab460ad6a677875a468de0cd23236.tar.xz | |
Fixing documentation build tree, broken by the check in of bug 198020; rename the name of the `flags` section so it doesn't collide with already existing section.
| -rw-r--r-- | docs/xml/administration.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/xml/administration.xml b/docs/xml/administration.xml index e23a27a67..2377d8366 100644 --- a/docs/xml/administration.xml +++ b/docs/xml/administration.xml @@ -581,7 +581,7 @@ </orderedlist> </section> - <section id="flags"> + <section id="flags-overview"> <title>Flags</title> <para> |