From 214dc4df827125ec8b679605901bedce5da2e7d9 Mon Sep 17 00:00:00 2001
From: Omar Vega Ramos <ovruni@gnu.org.pe>
Date: Tue, 15 Sep 2015 04:42:41 -0500
Subject: java-jarjar: add new package to [pcr]

---
 pcr/java-jarjar/jarjar-fix_javadocs.patch | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 pcr/java-jarjar/jarjar-fix_javadocs.patch

(limited to 'pcr/java-jarjar/jarjar-fix_javadocs.patch')

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>
-- 
cgit v1.2.3-2-g168b