Fixing documentation build tree, broken by the check in of bug 198020; rename the...

diff --git a/docs/xml/administration.xml b/docs/xml/administration.xml
index e23a27a67a8b27cb43193238431599fc0443aa8f..2377d836678083acd414de8fbe4544ad6a9a0c3c 100644 (file)
--- 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>