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
  15 --- source-highlight-3.1.7/doc/comment-show.show.texinfo.orig   2013-07-09 17:49:10.494647001 +0200
  16 +++ source-highlight-3.1.7/doc/comment-show.show.texinfo        2013-07-09 17:50:06.605111340 +0200
  17 @@ -16,5 +16,4 @@
  18    rule (string2) "<<" (exit level: 0, next: 4)
  19      STATE 4 default: string2
  20        rule (string2) ">>" (exit level: 1, next: 0)
  21 -
  22 -@end example
  23 \ No newline at end of file
  24 +@end example
  25 --- source-highlight-3.1.7/doc/comment-show2.show.texinfo.orig  2013-07-09 17:49:16.271362496 +0200
  26 +++ source-highlight-3.1.7/doc/comment-show2.show.texinfo       2013-07-09 17:50:10.645144430 +0200
  27 @@ -13,5 +13,4 @@
  28      STATE 3 default: string2
  29        rule (string2) ">>" (exit level: 1, next: 0)
  30    rule (paren normal paren) "(\[)(.*)(\])" (exit level: 0, next: 0)
  31 -
  32 -@end example
  33 \ No newline at end of file
  34 +@end example