java-cup/java-cup-javadoc.patch

17 lines
536 B
Diff

--- develop/build.xml.orig 2006-09-09 06:16:46.000000000 +0200
+++ develop/build.xml 2006-09-09 06:18:30.000000000 +0200
@@ -74,6 +74,13 @@
<arg value="-interface" />
<arg value="${cup}/parser.cup" />
</java>
+ </target>
+ <target name="javadoc" >
+ <mkdir dir="${dist}/javadoc"/>
+ <javadoc destdir="${dist}/javadoc" author="true" version="true" use="true" windowtitle="java_cup API">
+ <fileset dir="${src}" defaultexcludes="yes">
+ </fileset>
+ </javadoc>
</target>
</project>