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">