library-mirrors/jquery-ui
1
0
Fork 0
mirror of https://github.com/jquery/jquery-ui.git synced 2025-01-07 20:34:24 +00:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

Build: Added spinner and menu to docs-download.

Browse Source
This commit is contained in:
Scott González 2011-01-10 21:48:41 -05:00
parent f91c3305cf
commit fb71ebad6a
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
build/build.xml
View File

@ -269,8 +269,10 @@
<get src="${url}Button" dest="${docs.dir}button.html" /> <get src="${url}Button" dest="${docs.dir}button.html" />
<get src="${url}Datepicker" dest="${docs.dir}datepicker.html" /> <get src="${url}Datepicker" dest="${docs.dir}datepicker.html" />
<get src="${url}Dialog" dest="${docs.dir}dialog.html" /> <get src="${url}Dialog" dest="${docs.dir}dialog.html" />
<get src="${url}Menu" dest="${docs.dir}menu.html" />
<get src="${url}Progressbar" dest="${docs.dir}progressbar.html" /> <get src="${url}Progressbar" dest="${docs.dir}progressbar.html" />
<get src="${url}Slider" dest="${docs.dir}slider.html" /> <get src="${url}Slider" dest="${docs.dir}slider.html" />
<get src="${url}Spinner" dest="${docs.dir}spinner.html" />
<get src="${url}Tooltip" dest="${docs.dir}tooltip.html" /> <get src="${url}Tooltip" dest="${docs.dir}tooltip.html" />
<get src="${url}Tabs" dest="${docs.dir}tabs.html" /> <get src="${url}Tabs" dest="${docs.dir}tabs.html" />