diff options
| author | jocuri%softhome.net <> | 2004-11-05 17:30:15 +0000 |
|---|---|---|
| committer | jocuri%softhome.net <> | 2004-11-05 17:30:15 +0000 |
| commit | c07257a3579ab460ad6a677875a468de0cd23236 (patch) | |
| tree | 5f9ab1d8ac824aae6021c686a79eb480efa28050 /docs | |
| parent | 13143eae683102d68ceea369638998b3e72a95fa (diff) | |
| download | bugs-c07257a3579ab460ad6a677875a468de0cd23236.tar bugs-c07257a3579ab460ad6a677875a468de0cd23236.tar.gz bugs-c07257a3579ab460ad6a677875a468de0cd23236.tar.bz2 bugs-c07257a3579ab460ad6a677875a468de0cd23236.tar.xz bugs-c07257a3579ab460ad6a677875a468de0cd23236.zip | |
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.
Diffstat (limited to 'docs')
| -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> |