X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2Fbuild.xml;h=9efec3c7a23d7d9e91e38259520a273f2a855de8;hb=5868bef6637af919fbb48a83c24268bb85bdef6a;hp=abdcdc858d10ce1dfd994447a890e6f7034465fb;hpb=e3d391b71f59528bd657f6a731c9250ea1d14334;p=helm.git

diff --git a/helm/uwobo/build.xml b/helm/uwobo/build.xml
index abdcdc858..9efec3c7a 100644
--- a/helm/uwobo/build.xml
+++ b/helm/uwobo/build.xml
@@ -4,7 +4,7 @@
 
 	<property name="Name" value="Uwobo"/>
 	<property name="name" value="uwobo"/>
-	<property name="version" value="1.2"/>
+	<property name="version" value="1.2.0"/>
 	<property name="serialization_dir" value=""/>
 
 	<property file=".${name}.properties" />
@@ -135,8 +135,6 @@
 		<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>