java/jgrapht/files/patch-build.xml


1
2
3
4
5
6
7
8
9
10
11
12

Patch to allow the JDK API location to be passed to Ant using -Djdk.api

--- build.xml.orig	Mon Jul  3 00:53:38 2006
+++ build.xml	Sun Mar 11 12:16:31 2007
@@ -400,6 +400,7 @@
         <include name="**"/>
         <exclude name="org/jgrapht/experimental/**"/>
       </packageset>
+      <link offline="true" packagelistLoc="${jdk.api}" href="${jdk.api}"/>
     </javadoc>
   </target>