From a3a1923d429087260c1fc4c657c7c756c16aca1e Mon Sep 17 00:00:00 2001
From: dchandler <dchandler>
Date: Sun, 1 Dec 2002 18:53:09 +0000
Subject: [PATCH] I haven't tested this, but it should make it easier to
 experiment with the links from our Javadocs to Sun's Javadocs.

---
 build.xml | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/build.xml b/build.xml
index d72ab26..573fc6a 100644
--- a/build.xml
+++ b/build.xml
@@ -42,7 +42,6 @@
 
   <!-- set global properties for this build -->
   <property name="my.jar.suffix" value=""/>
-  <property name="link.offline" value="false"/>
   <property name="javacdashg" value="yes"/>
   <property name="source" location="source"/>
   <property name="license" location="license"/>
@@ -63,6 +62,15 @@
   <property name="publicjavadocs"  location="${docs}/public-javadocs"/>
   <property name="privatejavadocs"  location="${docs}/private-javadocs"/>
 
+
+  <!-- If you wish to have your Javadocs link to someplace other than
+       Sun's web site, maybe just changing these two, link.offline and
+       java.api.loc.url, will do the trick: -->
+  <property name="link.offline" value="false"/>
+  <property name="java.api.loc.url"
+            location="http://java.sun.com/j2se/1.4/docs/api/"/>
+
+
   <property name="jnlp.codebase"
             value="http://iris.lib.virginia.edu/tibet/tools"/>
 
@@ -869,7 +877,7 @@
 
       <!-- Have our API docs link to Sun's, JDOM's, etc. -->
       <link offline="${link.offline}"
-            href="http://java.sun.com/j2se/1.4/docs/api/"
+            href="${java.api.loc.url}"
             packagelistLoc="${docs}/j2sdk1.4-package-list"/>
       <link offline="${link.offline}"
             href="http://www.jdom.org/docs/apidocs/"