library-mirrors/jquery-ui
1
0
Fork 0
mirror of https://github.com/jquery/jquery-ui.git synced 2025-01-07 20:34:24 +00:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

Build: rename themes zip file and embedded folder. Fixed #5670 - Build: themes zip named incorrectly

Browse Source
This commit is contained in:
jzaefferer 2010-06-23 16:24:54 +02:00
parent 3824f75c00
commit 496b40802b
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
build/build.xml
View File

@ -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>