--- build.xml	2010-01-18 15:04:09.000000000 +0100
+++ build.xml-gil	2010-01-18 15:06:56.000000000 +0100
@@ -590,6 +590,7 @@
     <delete>
       <fileset dir="." includes="junit*properties"/>
     </delete>
+    <delete dir="${dist.dir}"/>
   </target>