diff options
| author | jocuri%softhome.net <> | 2008-04-04 13:47:31 +0200 |
|---|---|---|
| committer | jocuri%softhome.net <> | 2008-04-04 13:47:31 +0200 |
| commit | 4ce651be31f2ceb75add53dc1145782c80c4099d (patch) | |
| tree | 9b7a67ce0e04d5d0e56cc64923a6fe49c09df38d /docs/en | |
| parent | fb69b0f576988d864b9f5a107d4ede7e95b443a0 (diff) | |
| download | bugzilla-4ce651be31f2ceb75add53dc1145782c80c4099d.tar.gz bugzilla-4ce651be31f2ceb75add53dc1145782c80c4099d.tar.xz | |
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.
Diffstat (limited to 'docs/en')
| -rw-r--r-- | docs/en/xml/administration.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/en/xml/administration.xml b/docs/en/xml/administration.xml index e23a27a67..2377d8366 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> |