diff --git a/docs/Build.xml b/docs/Build.xml
index 5c0598052..fb445e5e8 100644
--- a/docs/Build.xml
+++ b/docs/Build.xml
@@ -87,13 +87,6 @@
role="bold">branches.
-
- trunk/web
-
- The files from the web site that are maintained in HTML format.
- are kept in this directory.
-
-
trunk/manpages, trunk/manpages6, trunk/manpages-lite and
trunk/manpages6-lite
@@ -102,31 +95,38 @@
the release cycle, these documents may also apply to the current
stable version.
+
-
- trunk/tools
+
+ tools
- This is where the release and build tools are kept. There are
- two subordinate directories:
+ This is where the release and build tools are kept. There are two
+ subordinate directories:
-
-
- trunk/tools/build
+
+
+ trunk/tools/build
-
- Tools for building and uploading new releases.
-
-
+
+ Tools for building and uploading new releases.
+
+
-
- trunk/tools/web
+
+ trunk/tools/web
-
- Tools for publishing web content.
-
-
-
-
+
+ Tools for publishing web content
+
+
+
+
+
+
+ web
+
+ The files from the web site that are maintained in HTML format.
+ are kept in this directory.