java/jgrapht/files/patch-build.xml


1
2
3
4
5
6
7
8
9
10
11
12
13
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>