diff -urN ddd-3.3.7.orig/ddd/ddd.texi ddd-3.3.7/ddd/ddd.texi
--- ddd-3.3.7.orig/ddd/ddd.texi	2003-05-24 17:27:08.000000000 +0200
+++ ddd-3.3.7/ddd/ddd.texi	2003-08-26 18:49:03.000000000 +0200
@@ -96,9 +96,9 @@
 @finalout
 
 @c Info Dir settings
-@dircategory Programming & development tools.
+@dircategory Programming tools:
 @direntry
-* DDD: (ddd).                     The Data Display Debugger.
+* DDD: (ddd).				The Data Display Debugger
 @end direntry
 @c %**end of header
 
diff -urN ddd-3.3.7.orig/ddd/ddd-themes.texi ddd-3.3.7/ddd/ddd-themes.texi
--- ddd-3.3.7.orig/ddd/ddd-themes.texi	2003-05-24 17:27:06.000000000 +0200
+++ ddd-3.3.7/ddd/ddd-themes.texi	2003-08-26 18:48:25.000000000 +0200
@@ -83,9 +83,9 @@
 @finalout
 
 @c Info Dir settings
-@dircategory Programming & development tools.
+@dircategory Programming tools:
 @direntry
-* DDD-Themes: (ddd-themes).       Writing DDD Themes.
+* DDD-Themes: (ddd-themes).		Writing DDD Themes
 @end direntry
 @c %**end of header