hgomez 02/05/02 00:56:36
Modified: . Tag: tomcat_40_branch build.xml
Log:
PR: Some sites may have servlet api documentations in various location.
For example jakarta rpms, install servlet.jar into /usr/share/java
and servlet-api javadoc in /usr/share/javadoc/servletapi4
Revision Changes Path
No revision
No revision
1.38.2.15 +2 -1 jakarta-tomcat-4.0/build.xml
Index: build.xml
===================================================================
RCS file: /home/cvs/jakarta-tomcat-4.0/build.xml,v
retrieving revision 1.38.2.14
retrieving revision 1.38.2.15
diff -u -r1.38.2.14 -r1.38.2.15
--- build.xml 14 Feb 2002 02:37:18 -0000 1.38.2.14
+++ build.xml 2 May 2002 07:56:36 -0000 1.38.2.15
@@ -21,6 +21,7 @@
<property name="javaservice.home" value="../javaservice"/>
<property name="nsis.home" value="c:\program files\nsis"/>
<property name="servlet.home" value="../jakarta-servletapi-4/dist"/>
+ <property name="servlet.doc" value="${servlet.home}/docs/api"/>
<property name="tomcat.build" value="${basedir}/build"/>
<property name="tomcat.dist" value="${basedir}/dist"/>
<property name="webapps.build" value="${basedir}/webapps/build"/>
@@ -187,7 +188,7 @@
</copy>
<mkdir dir="${tomcat.dist}/webapps/tomcat-docs/servletapi"/>
<copy todir="${tomcat.dist}/webapps/tomcat-docs/servletapi">
- <fileset dir="${servlet.home}/docs/api" />
+ <fileset dir="${servlet.doc}" />
</copy>
</target>
--
To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]>
For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
