build.xml
changeset 676 ed7f90128426
parent 613 58b8abc8719b
child 825 0f18c9828716
--- a/build.xml	Thu Feb 18 18:34:28 2010 +0100
+++ b/build.xml	Thu Feb 18 19:43:54 2010 +0100
@@ -70,6 +70,7 @@
     <target name="clean"
 	description="Delete old build and dist directories">
 	<delete verbose="false" dir="${out.dir}"/>
+	<delete verbose="false" dir="gen"/>
     </target>
 
     <target name="javadoc">