From 4ce651be31f2ceb75add53dc1145782c80c4099d Mon Sep 17 00:00:00 2001
From: "jocuri%softhome.net" <>
Date: Fri, 4 Apr 2008 11:47:31 +0000
Subject: [PATCH] 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.

---
 docs/en/xml/administration.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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