Build: Download docs directly to dist folder

diff --git a/build/build.xml b/build/build.xml
index bc241dc78378f95cc972841633d9c4608bd9c833..864aea4491bf3e8c0da92fc6b4387780964d5095 100644 (file)
--- a/build/build.xml
+++ b/build/build.xml
@@ -27,7 +27,7 @@
        <property name="ui.dir" value="../" />
        <property name="src.dir" value="${ui.dir}/ui/" />
        <property name="theme.dir" value="${ui.dir}/themes/base/" />
-       <property name="docs.dir" value="${ui.dir}/docs/" />
+       <property name="docs.dir" value="${dist.dir}/docs/" />
 
        <property name="min.dir" value="${dist.dir}/ui/minified" />
 
@@ -206,10 +206,6 @@
                        <fileset dir="${ui.dir}/tests/" />
                </copy>
 
-               <copy overwrite="true" todir="${dist.dir}/docs/" >
-                       <fileset dir="${ui.dir}/docs/" />
-               </copy>
-
                <copy overwrite="true" todir="${dist.dir}/themes/" >
                        <fileset dir="${ui.dir}/themes/" />
                </copy>