|
|
@@ -57,7 +57,7 @@ Java.</p> |
|
|
|
<td valign="top" align="center"><b>Required</b></td> |
|
|
|
</tr> |
|
|
|
<tr> |
|
|
|
<td valign="top">zipfile</td> |
|
|
|
<td valign="top">file</td> |
|
|
|
<td valign="top">the zip-file to create.</td> |
|
|
|
<td align="center" valign="top">Yes</td> |
|
|
|
</tr> |
|
|
@@ -142,12 +142,12 @@ contents will be extracted and included in the archive. As with directories, in |
|
|
|
for inclusion in the archive.</p> |
|
|
|
|
|
|
|
<h3>Examples</h3> |
|
|
|
<pre> <zip zipfile="${dist}/manual.zip" |
|
|
|
<pre> <zip file="${dist}/manual.zip" |
|
|
|
basedir="htdocs/manual" |
|
|
|
/></pre> |
|
|
|
<p>zips all files in the <code>htdocs/manual</code> directory into a file called <code>manual.zip</code> |
|
|
|
in the <code>${dist}</code> directory.</p> |
|
|
|
<pre> <zip zipfile="${dist}/manual.zip" |
|
|
|
<pre> <zip file="${dist}/manual.zip" |
|
|
|
basedir="htdocs/manual" |
|
|
|
update="true" |
|
|
|
/></pre> |
|
|
@@ -155,27 +155,27 @@ in the <code>${dist}</code> directory.</p> |
|
|
|
in the <code>${dist}</code> directory. If <code>manual.zip</code> |
|
|
|
doesn't exist, it is created; otherwise it is updated with the |
|
|
|
new/changed files.</p> |
|
|
|
<pre> <zip zipfile="${dist}/manual.zip" |
|
|
|
<pre> <zip file="${dist}/manual.zip" |
|
|
|
basedir="htdocs/manual" |
|
|
|
excludes="mydocs/**, **/todo.html" |
|
|
|
/></pre> |
|
|
|
<p>zips all files in the <code>htdocs/manual</code> directory. Files in the directory <code>mydocs</code>, |
|
|
|
or files with the name <code>todo.html</code> are excluded.</p> |
|
|
|
<pre> <zip zipfile="${dist}/manual.zip" |
|
|
|
<pre> <zip file="${dist}/manual.zip" |
|
|
|
basedir="htdocs/manual" |
|
|
|
includes="api/**/*.html" |
|
|
|
excludes="**/todo.html" |
|
|
|
/></pre> |
|
|
|
<p>zips all files in the <code>htdocs/manual</code> directory. Only html files under the directory <code>api</code> |
|
|
|
are zipped, and files with the name <code>todo.html</code> are excluded.</p> |
|
|
|
<pre> <zip zipfile="${dist}/manual.zip"> |
|
|
|
<pre> <zip file="${dist}/manual.zip"> |
|
|
|
<fileset dir="htdocs/manual"/> |
|
|
|
<fileset dir="." includes="ChangeLog.txt"/> |
|
|
|
</zip></pre> |
|
|
|
<p>zips all files in the <code>htdocs/manual</code> directory, and also adds the file <code>ChangeLog.txt</code> in the |
|
|
|
current directory. <code>ChangeLog.txt</code> will be added to the top of the ZIP file, just as if |
|
|
|
it had been located at <code>htdocs/manual/ChangeLog.txt</code>.</p> |
|
|
|
<pre> <zip zipfile="${dist}/manual.zip"> |
|
|
|
<pre> <zip file="${dist}/manual.zip"> |
|
|
|
<zipfileset dir="htdocs/manual" prefix="docs/user-guide"/> |
|
|
|
<zipfileset dir="." includes="ChangeLog27.txt" fullpath="docs/ChangeLog.txt"/> |
|
|
|
<zipfileset src="examples.zip" includes="**/*.html" prefix="docs/examples"/> |
|
|
|