Nobody object for the same adaptation in tomcat 4.1 ? - Henri Gomez ___[_]____ EMAIL : [EMAIL PROTECTED] (. .) PGP KEY : 697ECEDD ...oOOo..(_)..oOOo... PGP Fingerprint : 9DF8 1EA8 ED53 2F39 DC9B 904A 364F 80E6
>-----Original Message----- >From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED]] >Sent: Thursday, May 02, 2002 9:57 AM >To: [EMAIL PROTECTED] >Subject: cvs commit: jakarta-tomcat-4.0 build.xml > > >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]> -- To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]> For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>