From 496b40802b150057da0544382b6a14a78404b0fc Mon Sep 17 00:00:00 2001
From: jzaefferer <joern.zaefferer@gmail.com>
Date: Wed, 23 Jun 2010 16:24:54 +0200
Subject: [PATCH] Build: rename themes zip file and embedded folder. Fixed
 #5670 - Build: themes zip named incorrectly

---
 build/build.xml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/build/build.xml b/build/build.xml
index 50e4c0117..3abaa4fa8 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -297,11 +297,11 @@
 				<mapper type="regexp" from="(.*)jquery-ui-.*custom.css" to="\1jquery-ui.css" />
 			</mapper>
 		</move>
-		<copy todir="dist/${release.filename}-themes">
+		<copy todir="dist/jquery-ui-themes-${release.version}">
 			<fileset dir="${dist.dir}/" includes="AUTHORS.txt,GPL-LICENSE.txt,MIT-LICENSE.txt,version.txt,themes/**" />
 		</copy>
-		<zip destfile="${dist.dir}/../${release.filename}-themes.zip">
-			<zipfileset dir="dist/" includes="${release.filename}-themes/" />
+		<zip destfile="${dist.dir}/../jquery-ui-themes-${release.version}.zip">
+			<zipfileset dir="dist/" includes="jquery-ui-themes-${release.version}/" />
 		</zip>
 	</target>
 
-- 
2.39.5