source-highlight-info.patch

   1 --- source-highlight-2.8/doc/source-highlight.texinfo.orig      2007-09-09 16:45:17.000000000 +0200
   2 +++ source-highlight-2.8/doc/source-highlight.texinfo   2007-11-30 22:37:15.403856539 +0100
   3 @@ -32,9 +32,9 @@
   4  @end quotation
   5  @end copying
   6
   7 -@dircategory Utilities
   8 +@dircategory Text Processing Tools:
   9  @direntry
  10 -* Source-highlight: (source-highlight).  Highlights contents
  11 +* Source-highlight: (source-highlight).        Highlights contents
  12  @end direntry
  13
  14  @titlepage