diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-09-15 04:42:41 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-09-15 04:42:41 -0500 |
| commit | 214dc4df827125ec8b679605901bedce5da2e7d9 (patch) | |
| tree | d814c78144125e3fdab770ebe893c7f5f76f36ba /pcr/java-jarjar/jarjar-fix_javadocs.patch | |
| parent | e4b071a88e8f2345bd497430be7698d692d89725 (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> |