ddd-info.patch

   1 diff -urN ddd-3.3.7.orig/ddd/ddd.texi ddd-3.3.7/ddd/ddd.texi
   2 --- ddd-3.3.7.orig/ddd/ddd.texi 2003-05-24 17:27:08.000000000 +0200
   3 +++ ddd-3.3.7/ddd/ddd.texi      2003-08-26 18:49:03.000000000 +0200
   4 @@ -96,9 +96,9 @@
   5  @finalout
   6
   7  @c Info Dir settings
   8 -@dircategory Programming & development tools.
   9 +@dircategory Programming tools:
  10  @direntry
  11 -* DDD: (ddd).                     The Data Display Debugger.
  12 +* DDD: (ddd).                          The Data Display Debugger
  13  @end direntry
  14  @c %**end of header
  15
  16 diff -urN ddd-3.3.7.orig/ddd/ddd-themes.texi ddd-3.3.7/ddd/ddd-themes.texi
  17 --- ddd-3.3.7.orig/ddd/ddd-themes.texi  2003-05-24 17:27:06.000000000 +0200
  18 +++ ddd-3.3.7/ddd/ddd-themes.texi       2003-08-26 18:48:25.000000000 +0200
  19 @@ -83,9 +83,9 @@
  20  @finalout
  21
  22  @c Info Dir settings
  23 -@dircategory Programming & development tools.
  24 +@dircategory Programming tools:
  25  @direntry
  26 -* DDD-Themes: (ddd-themes).       Writing DDD Themes.
  27 +* DDD-Themes: (ddd-themes).            Writing DDD Themes
  28  @end direntry
  29  @c %**end of header
  30