]>
Commit | Line | Data |
---|---|---|
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 |