]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo/build.xml
...
[helm.git] / helm / uwobo / build.xml
index e0d2f914e8bf01533fca5adf139720adaf7ec9ae..634c6233f86da5d6200afdaf48018dd25504afcc 100644 (file)
@@ -4,7 +4,7 @@
 
        <property name="Name" value="Uwobo"/>
        <property name="name" value="uwobo"/>
-       <property name="version" value="1.2.0"/>
+       <property name="version" value="1.2.1"/>
        <property name="serialization_dir" value=""/>
 
        <property file=".${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>