]> source.dussan.org Git - jquery-ui.git/commitdiff
Build: rename themes zip file and embedded folder. Fixed #5670 - Build: themes zip...
authorjzaefferer <joern.zaefferer@gmail.com>
Wed, 23 Jun 2010 14:24:54 +0000 (16:24 +0200)
committerjzaefferer <joern.zaefferer@gmail.com>
Wed, 23 Jun 2010 14:24:54 +0000 (16:24 +0200)
build/build.xml

index 50e4c0117ba935c5cb309e9c3abd80cecce66b53..3abaa4fa83208fdf2be6f02d029d585b4be3a53e 100644 (file)
                                <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>