From: jocuri%softhome.net <>
Date: Fri, 5 Nov 2004 17:30:29 +0000 (+0000)
Subject: Fixing documentation build tree, broken by the check in of bug 198020; rename the... 
X-Git-Tag: bugzilla-2.18~111
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e73a227be3a53fcf5d1e9bd2c2a21ec1ccc7c6b7;p=thirdparty%2Fbugzilla.git

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.
---

diff --git a/docs/xml/administration.xml b/docs/xml/administration.xml
index e23a27a67a..2377d83667 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>