doc directories are created automatically

diff --git a/build.xml b/build.xml
index 83e5c70b20f8e0a739752963bf5af13438d8d8ac..7b9229d36c532183f92073c7d27b1db8eea01332 100644 (file)
--- a/build.xml
+++ b/build.xml
@@ -333,8 +333,6 @@
     <fail unless="sffilepath" message="Sourceforge project file path not defined!" />
 
     <mkdir dir="dist" />
-    <mkdir dir="dist/doc" />
-    <mkdir dir="dist/doc/developers" />
   </target>
 
 </project>