diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/devGuideDB/devguide.xml | 6 |
1 files 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; |