diff options
| author | Eduardo Lundgren <eduardolundgren@gmail.com> | 2008-06-09 08:06:59 +0000 |
|---|---|---|
| committer | Eduardo Lundgren <eduardolundgren@gmail.com> | 2008-06-09 08:06:59 +0000 |
| commit | d7cde8ae7f7616b315981b8db38534746618555d (patch) | |
| tree | 42a3c49776f686378089983a3520f3a0f09f5544 | |
| parent | b2233945a6a06ae03f0de2a604ccfbd5c153c372 (diff) | |
| download | jquery-ui-d7cde8ae7f7616b315981b8db38534746618555d.tar.gz jquery-ui-d7cde8ae7f7616b315981b8db38534746618555d.zip | |
build.xml copy jquery-*.js to dist dir
| -rw-r--r-- | release/build.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/release/build.xml b/release/build.xml index d655a23da..3d6aeeb8d 100644 --- a/release/build.xml +++ b/release/build.xml @@ -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> |