diff options
| -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"> |