diff options
author | mwebster <mwebster> | 2006-10-26 17:23:50 +0000 |
---|---|---|
committer | mwebster <mwebster> | 2006-10-26 17:23:50 +0000 |
commit | a4d46605ca5acf6be6485e079a368afa67d5de80 (patch) | |
tree | a25939062bff421cc3cf73175ee0bcc58cfe2b02 /docs/build.xml | |
parent | 3294a35d1bfb49772a188d71777f109819faa8bf (diff) | |
download | aspectj-a4d46605ca5acf6be6485e079a368afa67d5de80.tar.gz aspectj-a4d46605ca5acf6be6485e079a368afa67d5de80.zip |
Bug 159854 "Problem Diagnosis Guide" (skeleton)
Diffstat (limited to 'docs/build.xml')
-rw-r--r-- | docs/build.xml | 24 |
1 files changed, 23 insertions, 1 deletions
diff --git a/docs/build.xml b/docs/build.xml index b053c1bd6..903ed6ff8 100644 --- a/docs/build.xml +++ b/docs/build.xml @@ -203,7 +203,7 @@ </target> <target name="do-local-dist" - depends="init,init-filters,api,faq,devguide,progguide, adk15guide" + depends="init,init-filters,api,faq,devguide,progguide, adk15guide, pdguide" description="finish products by copying dist files and library sources" > @@ -321,6 +321,28 @@ </delete> </target> + <target name="pdguide" depends="init"> + + <copy todir="${docs.src.dir}/pdGuideDB" filtering="off"> + <fileset dir="${devguide.icons.dir}" + includes="${include.pdguide.icons}" + /> + </copy> + + <antcall target="build-guide"> + <param name="xml-html-copy" + value="dd_arrow.gif,aspectj-docs.css,ajbrowser-building.gif,ajbrowser-options.gif,${include.pdguide.icons}" + /> + <param name="guide.dir" value="pdGuideDB" /> + <param name="guide.name" value="pdguide" /> + </antcall> + <delete quiet="on"> + <fileset dir="${docs.src.dir}/pdGuideDB" + includes="${include.pdguide.icons}" + /> + </delete> + </target> + <target name="build-guide" depends="init" description="build prog or dev guide, using guide.dir and guide.name" |