From 2b35fa8a26f3f1572aa36d08a39d957de422b51e Mon Sep 17 00:00:00 2001
From: wisberg <wisberg>
Date: Mon, 16 Dec 2002 23:50:49 +0000
Subject: [PATCH] removed ajdb and ajdoc

---
 docs/devGuideDB/devguide.xml | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

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;
-- 
2.39.5