javax-servletapi2.3 (4.0-10) 01_gjdoc_compatibility.patch

--- build.xml.orig	2004-08-06 01:21:53.269975936 +0200
+++ build.xml	2004-08-06 01:22:10.343380384 +0200
@@ -59,7 +59,7 @@
     <!-- Java classes -->
     <javac srcdir="src/share" destdir="${servletapi.build}/classes"
            debug="${compile.debug}" deprecation="${compile.deprecation}"
-        optimize="${compile.optimize}"/>
+        optimize="${compile.optimize}" target="1.3"/>
 
     <!-- Associated property files -->
     <copy todir="${servletapi.build}/classes">
@@ -89,13 +89,21 @@
   <!-- ======================== Build JavaDoc =========================== -->
   <target name="javadoc" depends="prepare">
 
-    <javadoc packagenames="javax.servlet.*"
-             sourcepath="${basedir}/src/share"
-             destdir="${servletapi.build}/docs/api"
-             use="true"
-             windowtitle="Servlet and JavaServer Pages API Documentation"
-             doctitle="Servlet and JavaServer Pages API Documentation"
-             bottom="Copyright &amp;copy; 1999-2001 The Apache Software Foundation.  All Rights Reserved."/>
+    <!-- This is temporary, until Kaffe's javadoc script runs gjdoc.  The
+         gjdoc ant task does not work, because it invokes the gjdoc class
+         directly instead of through /usr/bin/gjdoc.  -->
+    <exec executable="gjdoc">
+      <arg value="-d" />
+      <arg value="${servletapi.build}/docs/api" />
+      <arg value="-title" />
+      <arg value="Servlet and JavaServer Pages API Documentation" />
+      <arg value="-sourcepath" />
+      <arg value="${basedir}/src/share" />
+      <arg value="javax.servlet" />
+      <arg value="javax.servlet.http" />
+      <arg value="javax.servlet.jsp" />
+      <arg value="javax.servlet.jsp.tagext" />
+    </exec>
 
   </target>