--- build.xml.orig	2006-02-18 15:11:08.000000000 +0100
+++ build.xml	2006-02-18 15:11:58.000000000 +0100
@@ -590,6 +590,7 @@
     <delete>
       <fileset dir="." includes="junit*properties"/>
     </delete>
+    <delete dir="${dist.dir}"/>
   </target>