Updated to build doc (albeit with warnings in some cases) with both JDK 1.4 and JDK 1.5 flavors.
git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@106 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/doc/build.xml b/doc/build.xml
index 49aa017..d8799f3 100644
--- a/doc/build.xml
+++ b/doc/build.xml
@@ -29,10 +29,14 @@
<path refid="USER_SOURCE_PATH" />
</path>
+ <condition property="tools.path" value="${gwt.tools.lib}/jdk/tools-1.4.2_09.jar" else="${gwt.tools.lib}/jdk/tools-1.5.0_07.jar:${gwt.tools.lib}/jdk/tools-1.4.2_09.jar">
+ <equals arg1="${ant.java.version}" arg2="1.4"/>
+ </condition>
+
<path id="DOC_PATH">
<pathelement location="./src" />
- <pathelement location="${gwt.tools.lib}/jdk/tools-1.4.2_09.jar" />
<pathelement location="${gwt.build.lib}/gwt-doctool.jar" />
+ <path path="${tools.path}" />
<path refid="USER_SOURCE_PATH" />
</path>
