remove packages.properties on an ant clean
Review at http://gwt-code-reviews.appspot.com/973801
Review by: jat@google.com
git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@8981 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/build.xml b/build.xml
index 8ca3bdf..5a53310 100755
--- a/build.xml
+++ b/build.xml
@@ -160,6 +160,7 @@
<target name="clean" description="[action] Cleans the entire GWT build">
<delete dir="${gwt.build}" />
+ <delete file="${gwt.root}/doc/packages.properties" />
</target>
<target name ="presubmit" description="[action] Deprecated for test, which now does checkstyle and apicheck"