diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-09-15 04:42:41 -0500 |
---|---|---|
committer | André Fabian Silva Delgado <emulatorman@parabola.nu> | 2015-09-22 16:15:04 -0300 |
commit | 27e7b882400b7648085c77e0adc90a138f5515e5 (patch) | |
tree | 7f4851a972fcc69ce8bd4bb4ae67a309f3fee95d /pcr/java-jarjar/jarjar-fix_javadocs.patch | |
parent | a3b797f6fbaca1e18a161bca64d694e5bee1e139 (diff) |
java-jarjar: add new package to [pcr]
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> |