diff options
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" |