diff options
author | jzaefferer <joern.zaefferer@gmail.com> | 2010-05-31 15:48:10 +0200 |
---|---|---|
committer | jzaefferer <joern.zaefferer@gmail.com> | 2010-05-31 15:48:10 +0200 |
commit | a8311f955a0cf3fef005955109dcdbfd1a7a08df (patch) | |
tree | 61b9b6190b7db8ee7a4b4355ee08df6bd1732aad /build | |
parent | 4069642f21bf2dcc307b5c8bd08158d8052587c5 (diff) | |
download | jquery-ui-a8311f955a0cf3fef005955109dcdbfd1a7a08df.tar.gz jquery-ui-a8311f955a0cf3fef005955109dcdbfd1a7a08df.zip |
Build: create themes.zip as part of themes-download target
Diffstat (limited to 'build')
-rw-r--r-- | build/build.xml | 13 |
1 files 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"> |