From: wisberg <wisberg>
Date: Mon, 16 Dec 2002 23:50:49 +0000 (+0000)
Subject: removed ajdb and ajdoc
X-Git-Tag: V_1_1_b2~79
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=2b35fa8a26f3f1572aa36d08a39d957de422b51e;p=aspectj.git

removed ajdb and ajdoc
---

diff --git a/docs/devGuideDB/devguide.xml b/docs/devGuideDB/devguide.xml
index 5b2b1ba30..507e50319 100644
--- a/docs/devGuideDB/devguide.xml
+++ b/docs/devGuideDB/devguide.xml
@@ -41,14 +41,12 @@
   </bookinfo>
 
   <reference>
-    <title>The Command Line Tools</title>
+    <title>Command Line Tools</title>
       &ajc;
-      &ajdb;
-      &ajdoc;
   </reference>
 
   <reference>
-    <title>The GUI Tools</title>
+    <title>Development Environment Support</title>
       &ajbrowser;
       &ajdejbuilder;
       &ajdeforte;