diff options
Diffstat (limited to 'java/jgrapht/files/patch-build.xml')
| -rw-r--r-- | java/jgrapht/files/patch-build.xml | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/java/jgrapht/files/patch-build.xml b/java/jgrapht/files/patch-build.xml index 0dbc69640b36..df1d9454dea2 100644 --- a/java/jgrapht/files/patch-build.xml +++ b/java/jgrapht/files/patch-build.xml @@ -2,13 +2,13 @@ $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>
+--- 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>
|