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.

This commit is contained in:
jocuri%softhome.net 2004-11-05 09:30:15 +00:00
Родитель 84ec67b3d6
Коммит f4298e99a4
1 изменённых файлов: 1 добавлений и 1 удалений

Просмотреть файл

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