diff options
Diffstat (limited to 'pcr/java-jarjar/jarjar-fix_javadocs.patch')
| -rw-r--r-- | pcr/java-jarjar/jarjar-fix_javadocs.patch | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/pcr/java-jarjar/jarjar-fix_javadocs.patch b/pcr/java-jarjar/jarjar-fix_javadocs.patch new file mode 100644 index 000000000..7b9f30f9f --- /dev/null +++ b/pcr/java-jarjar/jarjar-fix_javadocs.patch @@ -0,0 +1,19 @@ +--- jarjar-1.4.orig/build.xml 2015-09-15 03:25:33.873425000 -0500 ++++ jarjar-1.4/build.xml 2015-09-15 03:31:32.396310561 -0500 +@@ -262,10 +262,13 @@ + access="${javadoc.access}" + failonerror="true" + packagenames="com.tonicsystems.jarjar.*" +- classpathref="path.run" + Author="true" + Version="true" +- Use="true" +- /> ++ Use="true"> ++ <classpath> ++ <path refid="path.run"/> ++ <pathelement location="${ant.jar}"/> ++ </classpath> ++ </javadoc> + </target> + </project> |