diff --git a/docs/index.html b/docs/index.html index 20d70c5d4..fc15af2c3 100644 --- a/docs/index.html +++ b/docs/index.html @@ -12,12 +12,13 @@
Version 1.0.8 - 2000/03/04
+Version 1.0.8.1 - 2000/06/13
This copies all files in directories called "images", that are located in the directory tree "${src}" to the destination "${dist}", but excludes all "*.gif" files from the copy.
+There are a set of definitions which are excluded by default from all directory based tasks. +They are: +
"**/*~", + "**/#*#", + "**/%*%", + "**/CVS", + "**/CVS/*", + "**/.cvsignore" ++If you do not want these default excludes applied, you may disable them with the +
defaultexcludes="no"
attribute.
Sets a property is a resource is available at runtime. This resource can be a +
Sets a property if a resource is available at runtime. This resource can be a file resource, a class in classpath or a JVM system resource.
The value part of the properties being set is true if the resource is present, otherwise, the property is not set.
@@ -753,9 +766,20 @@ preferred, because of speed.checks out the package/module "jakarta-tools" from the CVS repository pointed to by the cvsRoot attribute, and stores the files in "${ws.dir}".
Deletes a single file.
+Deletes either a single file or +all files in a specified directory and its sub-directories.
+It is possible to refine the set of files that are being deleted. This can be +done with the includes, excludes and defaultexcludes +attributes. With the includes attribute you specify the files you want to +have included in the deletion process by using patterns. The exclude attribute is used to specify +the files you want to have excluded from the deletion process. This is also done with patterns. And +finally with the defaultexcludes attribute, you can specify whether you +want to use default exclusions or not. See the section on directory based tasks, on how the +inclusion/exclusion of files works, and how to write patterns. The patterns are +relative to the dir directory.
file | -the file to delete. | -Yes | +The file to delete. | +at least one of the two | +
dir | +The directory to delete files from. | +|||
includes | +Comma separated list of patterns of files that must be + deleted. All files are in the current directory + and any sub-directories are deleted when omitted. | +No | +||
excludes | +Comma separated list of patterns of files that must be + excluded from the deletion list. No files (except default excludes) are excluded when omitted. | +No | +||
defaultexcludes | +Indicates whether default excludes should be used or not + ("yes"/"no"). Default excludes are used when omitted. | +No | +||
verbose | +Show name of each deleted file ("true"/"false"). Default is "false" when omitted. | +No |
<delete file="/lib/ant.jar" />
deletes the file /lib/ant.jar
.
<delete file="${ant}" />-
deletes the file ${ant}
.
<delete dir="lib" />+
deletes all files in the /lib
directory.
<delete dir="." + include="**/*.bak" + /> ++
deletes all files with the extension ".bak
" from the current directory
+and any sub-directories.
Deletes a directory with all its files and subdirectories.
@@ -2632,3 +2689,4 @@ from the script.