]> git.pld-linux.org Git - packages/source-highlight.git/blame - source-highlight-info.patch
- adjust also source-highlight-lib.info direntry in info patch; release 9
[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
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
This page took 0.100813 seconds and 4 git commands to generate.