GPL licence added.

[helm.git] / helm / uwobo / build.xml

diff --git a/helm/uwobo/build.xml b/helm/uwobo/build.xml
index e0d2f914e8bf01533fca5adf139720adaf7ec9ae..9efec3c7a23d7d9e91e38259520a273f2a855de8 100644 (file)
--- a/helm/uwobo/build.xml
+++ b/helm/uwobo/build.xml
@@ -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>