Description: remove packaged docs
Origin: vendor
Forwarded: no
Author: gregor herrmann <gregoa@debian.org>
Last-Update: 2012-04-18
--- a/build.xml
+++ b/build.xml
@@ -98,8 +98,6 @@
<jar destfile="redist\${doc-pack}">
<fileset dir="javadoc" includes="**/*.*" />
</jar>
-
- <delete dir="javadoc" />
</target>
<target name="mix_release">