ddd-info.patch

   1 diff -Nur ddd-3.3.1.orig/ddd/ddd-themes.texi ddd-3.3.1/ddd/ddd-themes.texi
   2 --- ddd-3.3.1.orig/ddd/ddd-themes.texi  Thu Apr 26 13:08:07 2001
   3 +++ ddd-3.3.1/ddd/ddd-themes.texi       Sat Aug  4 18:08:19 2001
   4 @@ -83,9 +83,9 @@
   5  @finalout
   6
   7  @c Info Dir settings
   8 -@dircategory Miscellaneous
   9 +@dircategory Miscellaneous:
  10  @direntry
  11 -* DDD-Themes: (ddd-themes).       Writing DDD Themes.
  12 +* DDD-Themes: (ddd-themes).            Writing DDD Themes.
  13  @end direntry
  14  @c %**end of header
  15
  16 diff -Nur ddd-3.3.1.orig/ddd/ddd.texi ddd-3.3.1/ddd/ddd.texi
  17 --- ddd-3.3.1.orig/ddd/ddd.texi Fri Feb  2 15:59:19 2001
  18 +++ ddd-3.3.1/ddd/ddd.texi      Sat Aug  4 18:08:04 2001
  19 @@ -94,9 +94,9 @@
  20  @finalout
  21
  22  @c Info Dir settings
  23 -@dircategory Miscellaneous
  24 +@dircategory Programming tools:
  25  @direntry
  26 -* DDD: (ddd).                     The Data Display Debugger.
  27 +* DDD: (ddd).                          The Data Display Debugger.
  28  @end direntry
  29  @c %**end of header
  30