diff --git a/docs/manual/CoreTasks/unzip.html b/docs/manual/CoreTasks/unzip.html index 32aad2f40..d9243a6ee 100644 --- a/docs/manual/CoreTasks/unzip.html +++ b/docs/manual/CoreTasks/unzip.html @@ -205,6 +205,27 @@ configurable file system timestamp granularity.
"Deletes" files from a zipfile.
++<unzip src="${ant.home}/lib/ant.jar" dest="..."> + <patternset> + <include name="images/"/> + </patternset> +</unzip> ++
This extracts all images from ant.jar which are stored in the images directory +of the Jar (or somewhere under it). While extracting the directory structure (images) +will be taken.
+ ++<unzip src="${ant.home}/lib/ant.jar" dest="..."> + <patternset> + <include name="**/ant_logo_large.gif"/> + <include name="**/LICENSE.txt"/> + </patternset> +</unzip> ++
This extracts the two files ant_logo_large.gif and LICENSE.txt from the +ant.jar. More exactly: it extracts all files with these names from anywhere in the source file. While extracting the directory structure will be taken.