library-mirrors/jquery-ui
1
0
Fork 0
mirror of https://github.com/jquery/jquery-ui.git synced 2024-11-21 11:04:24 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

merged r2190 to trunk

Browse Source
This commit is contained in:
Richard Worth 2009-03-03 13:26:01 +00:00
parent f5f0e95a30
commit 514a26390d
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
build/build.xml
View File

@ -25,6 +25,7 @@
<property name="build.dir" value="build" />
<property name="ui.dir" value="../" />
<property name="src.dir" value="${ui.dir}/ui/" />
<property name="theme.dir" value="${ui.dir}/themes/base/" />
<property name="docs.dir" value="${ui.dir}/docs/" />
<property name="min.folder" value="${dist.dir}/ui/minified" />
@ -89,6 +90,13 @@
</concat>
<echo message="Concatenated built." />
<concat destfile="${dist.dir}/themes/base/${concatenated}.css">
<fileset dir="${theme.dir}/" includes="ui.core.css" />
<fileset dir="${theme.dir}/" includes="ui.*.css" excludes="ui.all.css, ui.core.css, ui.base.cs, ui.theme.css" />
<fileset dir="${theme.dir}/" includes="ui.theme.css" />
</concat>
<echo message="Concatenated theme." />
<mkdir dir="${dist.dir}/ui/i18n/" />
<delete file="${dist.dir}/ui/i18n/${concatenated.i18n}.js" />