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 1 Packages Projects Releases Wiki Activity

Build: Force headered files to be copied to minified directory. Fixes #5904 - Build: sometimes headered files aren't copied to minified directory.

Browse Source
This commit is contained in:
Scott González 2010-08-05 12:52:50 -04:00
parent 1e4fbd95d2
commit b242a577f2
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
build/build.xml
View File

@ -69,7 +69,7 @@
</concat>
</sequential>
</for>
<copy todir="${min.dir}">
<copy todir="${min.dir}" overwrite="true">
<fileset dir="${dist.dir}/ui-headered/" includes="*.js" />
</copy>