diff --git a/docs/manual/CoreTasks/get.html b/docs/manual/CoreTasks/get.html index f51c19526..2ac839c5d 100644 --- a/docs/manual/CoreTasks/get.html +++ b/docs/manual/CoreTasks/get.html @@ -84,12 +84,12 @@ to set up the proxy first.
<get src="http://ant.apache.org/" dest="help/index.html"/>
Gets the index page of http://ant.apache.org/, and stores it in the file help/index.html
.
<get src="http://jakarta.apache.org/builds/tomcat/nightly/ant.zip" - dest="optional.jar" +<get src="http://www.apache.org/dist/ant/KEYS" + dest="KEYS" verbose="true" usetimestamp="true"/>-Gets the nightly ant build from the tomcat distribution, if the local copy +Gets the PGP keys of Ant's (current and past) release managers, if the local copy is missing or out of date. Uses the verbose option for progress information.