]> git.pld-linux.org Git - packages/source-highlight.git/blame - source-highlight-info.patch
- boost rebuild
[packages/source-highlight.git] / source-highlight-info.patch
CommitLineData
0fa2a4a7
JB
1--- source-highlight-3.1.8/doc/source-highlight.texi.orig 2007-09-09 16:45:17.000000000 +0200
2+++ source-highlight-3.1.8/doc/source-highlight.texi 2007-11-30 22:37:15.403856539 +0100
d9ed8074
JB
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
2353fd29
JR
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
This page took 0.072287 seconds and 4 git commands to generate.