github/jquery-ui
1
1
Fork 0
mirror of https://github.com/jquery/jquery-ui.git synced 2026-04-20 03:02:41 -04:00
Code Issues Packages Projects Releases Wiki Activity

build.xml copy jquery-*.js to dist dir

Browse Source
This commit is contained in:
Eduardo Lundgren
2008-06-09 08:06:59 +00:00
parent b2233945a6
commit d7cde8ae7f
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
release/build.xml
View File

@@ -111,6 +111,10 @@
<echo message="Copying files" />
<mkdir dir="${dist.dir}" />
<copy overwrite="true" todir="${dist.dir}/">
<fileset dir="${ui.dir}/" includes="jquery-*.js" />
</copy>
<copy overwrite="true" todir="${dist.dir}/ui/">
<fileset dir="${src.dir}/" includes="ui.*.js, effects.*.js" />
</copy>