diff options
Diffstat (limited to 'docs/build.xml')
| -rw-r--r-- | docs/build.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/build.xml b/docs/build.xml index c7548f9f0..d60c5aebd 100644 --- a/docs/build.xml +++ b/docs/build.xml @@ -47,7 +47,7 @@ <property name="devguide.icons.dir" location="${aspectj.modules.dir}/ajde/src/org/aspectj/ajde/resources/actions"/> <property name="include.devguide.icons" - value="startAjde.gif,build.gif,openConfig.gif,browseroptions.gif,jbuilder-build.gif" /> + value="build.gif,openConfig.gif,browseroptions.gif" /> <!-- callers of xml-html use these by default --> <property name="chunk.xsl.source" @@ -204,6 +204,7 @@ includes="${include.devguide.icons}" /> </copy> <antcall target="build-guide"> + <param name="xml-html-copy" value="ajbrowser-building.gif,ajbrowser-options.gif,${include.devguide.icons}" /> <param name="guide.dir" value="devGuideDB"/> <param name="guide.name" value="devguide"/> </antcall> |