From a8311f955a0cf3fef005955109dcdbfd1a7a08df Mon Sep 17 00:00:00 2001
From: jzaefferer <joern.zaefferer@gmail.com>
Date: Mon, 31 May 2010 15:48:10 +0200
Subject: [PATCH] Build: create themes.zip as part of themes-download target

---
 build/build.xml | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

diff --git a/build/build.xml b/build/build.xml
index 864aea449..d7c2392c4 100644
--- 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">
-- 
2.39.5