diff options
| -rw-r--r-- | release/build.xml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/release/build.xml b/release/build.xml index e707217a4..247ac554c 100644 --- a/release/build.xml +++ b/release/build.xml @@ -233,8 +233,7 @@ <get src="${url}Tabs" dest="tabs.xml" /> </target> - <!--depends="download-docs"--> - <target name="docs-process" > + <target name="docs-process" depends="docs-download"> <property name="docs.dir" value="${ui.dir}/documentation" /> <delete dir="${docs.dir}" /> <mkdir dir="${docs.dir}" /> @@ -242,7 +241,9 @@ </target> <target name="docs-clean"> - <delete file="*.xml" exclude="build.xml" /> + <delete> + <fileset file="*.xml" excludes="build.xml" /> + </delete> </target> </project> |