From: jocuri%softhome.net <>
Date: Fri, 4 Apr 2008 11:47:31 +0000 (+0000)
Subject: Fixing documentation build tree, broken by the check in of bug 198020; rename the... 
X-Git-Tag: bugzilla-3.1.3~101
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4ce651be31f2ceb75add53dc1145782c80c4099d;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/en/xml/administration.xml b/docs/en/xml/administration.xml
index e23a27a67a..2377d83667 100644
--- a/docs/en/xml/administration.xml
+++ b/docs/en/xml/administration.xml
@@ -581,7 +581,7 @@
     </orderedlist>
   </section>
   
- <section id="flags">
+ <section id="flags-overview">
    <title>Flags</title>
    
    <para>