diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-03-08 18:51:44 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-03-08 18:51:44 -0500 |
commit | 2a49fa31b0c038704ef3593f19fbedb0bd20f71c (patch) | |
tree | fc252f0c0b34bc9d7fe74e9cb8ba7aa857af4452 /pcr/jsr305/jsr305-build_javadoc.patch | |
parent | bbf377ed3f78637fd172845d47feab2742cf15a0 (diff) |
jsr305: add new package to [pcr]
Diffstat (limited to 'pcr/jsr305/jsr305-build_javadoc.patch')
-rw-r--r-- | pcr/jsr305/jsr305-build_javadoc.patch | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/pcr/jsr305/jsr305-build_javadoc.patch b/pcr/jsr305/jsr305-build_javadoc.patch new file mode 100644 index 000000000..56e77d7a2 --- /dev/null +++ b/pcr/jsr305/jsr305-build_javadoc.patch @@ -0,0 +1,38 @@ +--- jsr305.orig/ri/build.xml 2016-03-08 03:37:12.605478000 -0500 ++++ jsr305/ri/build.xml 2016-03-08 04:35:09.059978051 -0500 +@@ -2,7 +2,7 @@ + <project name="JSR305-ri" default="build"> + + +- <target name="build" depends="clean,classes,jars"/> ++ <target name="build" depends="clean,classes,javadoc,jars"/> + <target name="classes"> + <mkdir dir="build/classes"/> + <javac destdir="build/classes" source="1.5" target="1.5" debug="on"> +@@ -15,6 +15,7 @@ + + <target name="clean"> + <delete dir="build/classes"/> ++ <delete dir="build/javadoc"/> + </target> + <target name="jars" depends="classes"> + <delete quiet="true"> +@@ -33,6 +34,18 @@ + <fileset dir="src/main/resources"/> + </jar> + </target> ++ <target name="javadoc" depends="classes"> ++ <mkdir dir="build/javadoc"/> ++ <javadoc ++ sourcepath="src/main/java" ++ destdir="build/javadoc" ++ packagenames="javax.annotation.*" ++ version="true" ++ use="true" ++ author="true" ++ failonerror="true"> ++ </javadoc> ++ </target> + </project> + + <!-- vim:set ts=4: --> |