build: delete headers folder, include external folder

diff --git a/build/build.xml b/build/build.xml
index fbacebfac3c79476f0f94013195ebd3ceb4e3d88..dbb44299feed1a1de84813c5990edc22f53da8e5 100644 (file)
--- a/build/build.xml
+++ b/build/build.xml
@@ -67,6 +67,7 @@
                <copy todir="${dist.dir}/ui/minified">
                        <fileset dir="${dist.dir}/ui-headered/" includes="*.js" />
                </copy>
+               <delete dir="${dist.dir}/headers/" />
                <delete dir="${dist.dir}/ui-headered/" />
        </target>
 
@@ -156,6 +157,10 @@
                        <fileset dir="${ui.dir}/demos/" />
                </copy>
 
+               <copy overwrite="true" todir="${dist.dir}/external/" >
+                       <fileset dir="${ui.dir}/external/" />
+               </copy>
+
                <copy overwrite="true" todir="${dist.dir}/tests/" >
                        <fileset dir="${ui.dir}/tests/" />
                </copy>