diff --git a/docs/index.html b/docs/index.html index 426e4c3cb..3020333de 100644 --- a/docs/index.html +++ b/docs/index.html @@ -1705,8 +1705,7 @@ directly. More FileSets can be specified using nested
-+
<chmod file="${dist}/start.sh" perm="ugo+rx" - />
<chmod file="${dist}/start.sh" perm="ugo+rx"/>
makes the "start.sh" file readable and executable for anyone on a UNIX system.
@@ -1719,8 +1718,8 @@ UNIX system. readable and executable for anyone on a UNIX system.-<chmod perm="g+w"/> - <fileset dir="shared/sources1" > +<chmod perm="g+w"> + <fileset dir="shared/sources1"> <exclude name="**/trial/**"/> </fileset> <fileset refid="other.shared.sources"/> @@ -2860,7 +2859,7 @@ NB: This timestamp facility only works on downloads using the HTTP protocol.<get src="http://jakarta.apache.org/builds/tomcat/nightly/ant.zip" dest="optional.jar" verbose="true" - usetimestamps="true"/>+ usetimestamp="true"/>Gets the nightly ant build from the tomcat distribution, if the local copy is missing or out of date. Uses the verbose option