From c07257a3579ab460ad6a677875a468de0cd23236 Mon Sep 17 00:00:00 2001
From: "jocuri%softhome.net" <>
Date: Fri, 5 Nov 2004 17:30:15 +0000
Subject: 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/xml/administration.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'docs')

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>
-- 
cgit v1.2.3-24-g4f1b