tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "GOMEZ Henri" <hgo...@slib.fr>
Subject RE: cvs commit: jakarta-tomcat-4.0 build.xml
Date Thu, 02 May 2002 11:19:08 GMT
Nobody object for the same adaptation in
tomcat 4.1 ?

-
Henri Gomez                 ___[_]____
EMAIL : hgomez@slib.fr        (. .)                     
PGP KEY : 697ECEDD    ...oOOo..(_)..oOOo...
PGP Fingerprint : 9DF8 1EA8 ED53 2F39 DC9B 904A 364F 80E6 



>-----Original Message-----
>From: hgomez@apache.org [mailto:hgomez@apache.org]
>Sent: Thursday, May 02, 2002 9:57 AM
>To: jakarta-tomcat-4.0-cvs@apache.org
>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:tomcat-dev-unsubscribe@jakarta.apache.org>
For additional commands, e-mail: <mailto:tomcat-dev-help@jakarta.apache.org>


--
To unsubscribe, e-mail:   <mailto:tomcat-dev-unsubscribe@jakarta.apache.org>
For additional commands, e-mail: <mailto:tomcat-dev-help@jakarta.apache.org>


Mime
View raw message