debian/patches/javadoc.diff

Index: iri-0.8/build.xml
===================================================================
--- iri-0.8.orig/build.xml      2009-06-29 22:47:46.000000000 +0200
+++ iri-0.8/build.xml   2012-04-25 22:48:24.899602935 +0200
@@ -29,6 +29,7 @@
   </target>
 
   <target name="clean.javadoc" >
+    <mkdir dir="${javadoc.dir}"/>
     <delete><fileset dir="${javadoc.dir}" includes="**"/></delete>
   </target>
 
1	Index: iri-0.8/build.xml
2	===================================================================
3	--- iri-0.8.orig/build.xml 2009-06-29 22:47:46.000000000 +0200
4	+++ iri-0.8/build.xml 2012-04-25 22:48:24.899602935 +0200
5	@@ -29,6 +29,7 @@
6	</target>
7
8	<target name="clean.javadoc" >
9	+ <mkdir dir="${javadoc.dir}"/>
10	<delete><fileset dir="${javadoc.dir}" includes="**"/></delete>
11	</target>
12