Build: create themes.zip as part of themes-download target

diff --git a/build/build.xml b/build/build.xml
index 864aea4491bf3e8c0da92fc6b4387780964d5095..d7c2392c4338eebbab7fb3e2cc8f0ae9c0e875b8 100644 (file)
--- a/build/build.xml
+++ b/build/build.xml
@@ -292,11 +292,14 @@
                        </sequential>
                </for>
                <move todir="${dist.dir}themes/">
-            <fileset dir="${dist.dir}themes/" />
-            <mapper>
-                <mapper type="regexp" from="(.*)jquery-ui-.*custom.css" to="\1jquery-ui.css" />
-            </mapper>
-        </move>
+                       <fileset dir="${dist.dir}themes/" />
+                       <mapper>
+                               <mapper type="regexp" from="(.*)jquery-ui-.*custom.css" to="\1jquery-ui.css" />
+                       </mapper>
+               </move>
+               <zip destfile="${dist.dir}/../${release.filename}-themes.zip">
+                       <zipfileset dir="${dist.dir}/" includes="AUTHORS.txt,GPL-LICENSE.txt,MIT-LICENSE.txt,version.txt,themes/**" />
+               </zip>
        </target>
 
        <target name="whitespace">