mirror of
https://github.com/jquery/jquery-ui.git
synced 2024-11-21 11:04:24 +00:00
Build: Also minify i18n files.
This commit is contained in:
parent
005709f432
commit
349dce3762
@ -123,6 +123,12 @@
|
||||
<mapper type="glob" from="*.js" to="${min.dir}/*.min.js" />
|
||||
<targetfile/>
|
||||
</apply>
|
||||
<apply executable="build/minify-js.sh">
|
||||
<fileset dir="${dist.dir}/ui/i18n" includes="**.js" />
|
||||
<srcfile />
|
||||
<mapper type="glob" from="*.js" to="${min.dir}/i18n/*.min.js" />
|
||||
<targetfile/>
|
||||
</apply>
|
||||
<apply executable="java" parallel="false">
|
||||
<fileset dir="${dist.dir}/themes/base" includes="*.css" />
|
||||
<arg line="-jar" />
|
||||
|
Loading…
Reference in New Issue
Block a user