mirror of
https://github.com/jquery/jquery-ui.git
synced 2024-11-21 11:04:24 +00:00
build: delete headers folder, include external folder
This commit is contained in:
parent
d08c1c63b4
commit
e504af55bf
@ -67,6 +67,7 @@
|
||||
<copy todir="${dist.dir}/ui/minified">
|
||||
<fileset dir="${dist.dir}/ui-headered/" includes="*.js" />
|
||||
</copy>
|
||||
<delete dir="${dist.dir}/headers/" />
|
||||
<delete dir="${dist.dir}/ui-headered/" />
|
||||
</target>
|
||||
|
||||
@ -156,6 +157,10 @@
|
||||
<fileset dir="${ui.dir}/demos/" />
|
||||
</copy>
|
||||
|
||||
<copy overwrite="true" todir="${dist.dir}/external/" >
|
||||
<fileset dir="${ui.dir}/external/" />
|
||||
</copy>
|
||||
|
||||
<copy overwrite="true" todir="${dist.dir}/tests/" >
|
||||
<fileset dir="${ui.dir}/tests/" />
|
||||
</copy>
|
||||
|
Loading…
Reference in New Issue
Block a user