-diff -Nur ddd-3.3.1.orig/ddd/ddd-themes.texi ddd-3.3.1/ddd/ddd-themes.texi
---- ddd-3.3.1.orig/ddd/ddd-themes.texi Thu Apr 26 13:08:07 2001
-+++ ddd-3.3.1/ddd/ddd-themes.texi Sat Aug 4 18:08:19 2001
-@@ -83,9 +83,9 @@
+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 Miscellaneous
-+@dircategory Miscellaneous:
+-@dircategory Programming & development tools.
++@dircategory Programming & development tools:
@direntry
--* DDD-Themes: (ddd-themes). Writing DDD Themes.
-+* DDD-Themes: (ddd-themes). Writing DDD Themes.
+-* DDD: (ddd). The Data Display Debugger.
++* DDD: (ddd). The Data Display Debugger.
@end direntry
@c %**end of header
-diff -Nur ddd-3.3.1.orig/ddd/ddd.texi ddd-3.3.1/ddd/ddd.texi
---- ddd-3.3.1.orig/ddd/ddd.texi Fri Feb 2 15:59:19 2001
-+++ ddd-3.3.1/ddd/ddd.texi Sat Aug 4 18:08:04 2001
-@@ -94,9 +94,9 @@
+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 Miscellaneous
-+@dircategory Programming tools:
+-@dircategory Programming & development tools.
++@dircategory Programming & development tools:
@direntry
--* DDD: (ddd). The Data Display Debugger.
-+* DDD: (ddd). The Data Display Debugger.
+-* DDD-Themes: (ddd-themes). Writing DDD Themes.
++* DDD-Themes: (ddd-themes). Writing DDD Themes.
@end direntry
@c %**end of header