--- ddd-3.4.0/ddd/ddd.texi.orig	2023-06-07 20:54:36.189527766 +0200
+++ ddd-3.4.0/ddd/ddd.texi	2023-06-07 21:11:29.797369915 +0200
@@ -97,9 +97,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