diff options
Diffstat (limited to 'build')
| -rw-r--r-- | build/build.xml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/build/build.xml b/build/build.xml index aef5e5fb3..1e5ab842b 100644 --- a/build/build.xml +++ b/build/build.xml @@ -148,6 +148,13 @@ <fileset dir="${ui.dir}/themes/base/images" /> </copy> + <!-- make a copy of the minified files for use in tests --> + <copy todir="dist" file="${min.dir}/jquery-ui.min.js" /> + <copy todir="dist/theme" file="${dist.dir}/themes/base/minified/jquery-ui.min.css" /> + <copy todir="dist/theme/images" > + <fileset dir="${ui.dir}/themes/base/images" /> + </copy> + <echo message="Minified ui/ built." /> </target> |