diff options
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 --> |