diff --git a/docs/Build.xml b/docs/Build.xml
index a8019e438..faae33368 100644
--- a/docs/Build.xml
+++ b/docs/Build.xml
@@ -113,7 +113,6 @@
           </listitem>
         </varlistentry>
 
-      <variablelist>
         <varlistentry>
           <term>tools/files</term>
 
@@ -122,7 +121,6 @@
           </listitem>
         </varlistentry>
 
-      <variablelist>
         <varlistentry>
           <term>tools/testing</term>