1 files changed, 14 insertions, 0 deletions
diff --git a/java/jgrapht/files/patch-build.xml b/java/jgrapht/files/patch-build.xml
new file mode 100644
index 000000000000..0dbc69640b36
--- /dev/null
+++ b/java/jgrapht/files/patch-build.xml
@@ -0,0 +1,14 @@
+$FreeBSD$
+
+Patch to allow the JDK API location to be passed to Ant using -Djdk.api
+
+--- build.xml.orig	Mon Nov 28 16:49:46 2005
++++ build.xml	Mon Nov 28 16:50:27 2005
+@@ -284,6 +284,7 @@
+                 <include name="**"/>
+                 <exclude name="org/_3pq/jgrapht/experimental/**"/>
+             </packageset>
++            <link offline="true" packagelistLoc="${jdk.api}" href="${jdk.api}"/>
+         </javadoc>
+     </target>
+