From 7f352480c0d2edae195bcec37d1ecaa984031161 Mon Sep 17 00:00:00 2001 From: ehilsdal Date: Wed, 18 Dec 2002 18:51:00 +0000 Subject: [PATCH] Now devguide doesn't include AJDE stuff apart from the browser --- docs/build.xml | 3 ++- 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 @@ + value="build.gif,openConfig.gif,browseroptions.gif" /> + 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 @@ - 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. - Command Line Tools &ajc; - - - - Development Environment Support &ajbrowser; - &ajdejbuilder; - &ajdeforte; - &aspectj-mode; - &ajdee; -- 2.39.5