removed ajdb and ajdoc

diff --git a/docs/devGuideDB/devguide.xml b/docs/devGuideDB/devguide.xml
index 5b2b1ba300beb2d8bde5aa07176df2ecb6cd01cc..507e503196983a28afc98a4fbcfe786ab34e207b 100644 (file)
--- 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;