tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From hgo...@apache.org
Subject cvs commit: jakarta-tomcat-4.0 build.xml
Date Thu, 02 May 2002 07:56:36 GMT
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>


Mime
View raw message