diff options
| author | Sven Gothel <[email protected]> | 2011-02-23 04:50:35 +0100 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2011-02-23 04:50:35 +0100 |
| commit | 71c4b0d599ce881c5fcda137b78c39e70f48c0ca (patch) | |
| tree | 4e5969035c12740dd853012fbf995fba4504f288 /make/build.xml | |
| parent | d7be09cda445a874c5f76f3121f2dbd787889c96 (diff) | |
Use 7z instead of zip
Diffstat (limited to 'make/build.xml')
| -rwxr-xr-x | make/build.xml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/make/build.xml b/make/build.xml index db092e2..3d08fb5 100755 --- a/make/build.xml +++ b/make/build.xml @@ -59,6 +59,7 @@ <!-- Pull in GlueGen cpptasks build file --> <import file="${gluegen.root}/make/gluegen-cpptasks.xml" /> + <import file="${gluegen.root}/make/gluegen-archivetasks.xml" /> <!-- ================================================================== --> <!-- @@ -463,9 +464,9 @@ </target> <target name="javadoc.zip" depends="javadoc.init"> - <zip destfile="${build}/javadoc.zip" - basedir="${javadoc.root.path}" - includes="joal/**" /> + <archive.7z destfile="${build}/javadoc.7z" + basedir="${javadoc.root.path}" + includes="joal/**" /> </target> <target name="javadoc.public" depends="javadoc.init"> @@ -515,8 +516,7 @@ </copy> <copy file="../README.txt" todir="${archive}"/> <copy file="../LICENSE.txt" todir="${archive}"/> - <delete quiet="true" file="${build}/${archive.name}.zip"/> - <zip destfile="${build}/${archive.name}.zip" + <archive.7z destfile="${build}/${archive.name}.7z" basedir="${build}" includes="${archive.name}/**" /> <!-- Clean up after ourselves --> |