]>
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 | |
e7715ed0 JB |
35 | --- source-highlight-3.1.8/doc/source-highlight-lib.texi.orig 2015-03-30 20:11:19.000000000 +0200 |
36 | +++ source-highlight-3.1.8/doc/source-highlight-lib.texi 2019-10-08 19:39:29.382696925 +0200 | |
37 | @@ -70,9 +70,9 @@ | |
38 | @end quotation | |
39 | @end copying | |
40 | ||
41 | -@dircategory C++ Libraries | |
42 | +@dircategory Libraries: | |
43 | @direntry | |
44 | -* Source-highlight-lib: (source-highlight-lib). Highlights contents | |
45 | +* Source-highlight-lib: (source-highlight-lib). Highlights contents | |
46 | @end direntry | |
47 | ||
48 | @titlepage |