diff options
| -rw-r--r-- | docs/build.xml | 3 | ||||
| -rw-r--r-- | docs/devGuideDB/devguide.xml | 16 |
2 files changed, 6 insertions, 13 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> diff --git a/docs/devGuideDB/devguide.xml b/docs/devGuideDB/devguide.xml index 507e50319..1c4071b55 100644 --- a/docs/devGuideDB/devguide.xml +++ b/docs/devGuideDB/devguide.xml @@ -33,25 +33,17 @@ <abstract> <para> - This user's guide describes the tools which are part of the - AspectJ development environment. A companion guide describes the - AspectJ language. + This guide describes the tools which are part of the AspectJ + development environment. They currently describe the 1.0.6 versions of + the tools: See README-11.html in the distribution for a description of + changes. A companion guide describes the AspectJ language. </para> </abstract> </bookinfo> <reference> - <title>Command Line Tools</title> &ajc; - </reference> - - <reference> - <title>Development Environment Support</title> &ajbrowser; - &ajdejbuilder; - &ajdeforte; - &aspectj-mode; - &ajdee; </reference> </book> |