]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo/build.xml
Commit of Ferruccio changes:
[helm.git] / helm / uwobo / build.xml
index c021b0b46556e48c41e29ea547fdef8f476f058d..de9d59a8764b0ba05d1971d99ad7b9b7e08c4643 100644 (file)
@@ -4,7 +4,7 @@
 
        <property name="Name" value="Uwobo"/>
        <property name="name" value="uwobo"/>
-       <property name="version" value="1.1.12"/>
+       <property name="version" value="1.1.14beta"/>
 
        <property file=".${name}.properties" />
        <property file="${user.home}/.${name}.properties" />
                <copy todir="${dist.dir}/lib" >
                        <fileset dir="${lib.dir}" />
                </copy>
+                <!-- CSC: next line needed only if docs is empty -->
+               <mkdir dir="${docs.dir}"/>
                <copy todir="${dist.dir}/docs" >
                        <fileset dir="${docs.dir}" />
                </copy>
+                <!-- CSC: next line needed only if resources is empty -->
+               <mkdir dir="resources"/>
                <copy todir="${dist.dir}/resources" >
                        <fileset dir="resources" />
                </copy>
        </target>
 
        <target name="dist-zip" depends="dist">
+               <mkdir dir="backup"/>
                <zip zipfile="backup/${Name}-${version}.zip" basedir="${dist.dir}" includes="**" />
        </target>
 
        </target>
 
        <target name="dist-tgz" depends="dist">
+               <mkdir dir="backup"/>
                <move todir="${name}">
                        <fileset dir="${dist.dir}"/>
                </move>