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.

git-svn-id: svn://10.0.0.236/trunk@164999 18797224-902f-48f8-a5cc-f745e15eee43
This commit is contained in:
jocuri%softhome.net
2004-11-05 09:30:29 +00:00
parent 7d8e8ed441
commit 59ebe6ab48

View File

@@ -581,7 +581,7 @@
</orderedlist>
</section>
<section id="flags">
<section id="flags-overview">
<title>Flags</title>
<para>