diff options
| -rw-r--r-- | build/build.xml | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/build/build.xml b/build/build.xml index bc241dc78..864aea449 100644 --- 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> |