commit 18c4cd1cf092a12a2cf535ad610ffe7f0a183ee2
Author: Jakub Bogusz <[email protected]>
Date: Mon Sep 5 20:36:24 2022 +0200
- enhanced info patch to cover pm-gawk.info
gawk-info.patch | 14 ++++++++++++++
1 file changed, 14 insertions(+)
---
diff --git a/gawk-info.patch b/gawk-info.patch
index fa3858b..753ede1 100644
--- a/gawk-info.patch
+++ b/gawk-info.patch
@@ -85,3 +85,17 @@
@end direntry
@c With early 2014 texinfo.tex, restore PDF links and colors
+--- gawk-5.2.0/doc/pm-gawk.texi.orig 2022-08-25 07:35:28.000000000 +0200
++++ gawk-5.2.0/doc/pm-gawk.texi 2022-09-05 20:26:36.701023264 +0200
+@@ -21,9 +21,9 @@ pm-@gwk{}
+ @setfilename pm-gawk.info
+ @settitle @value{TYTL}
+
+-@dircategory Text creation and manipulation
++@dircategory Programming Languages:
+ @direntry
+-* pm-gawk: (pm-gawk). Persistent memory version of gawk.
++* pm-gawk: (pm-gawk). Persistent memory version of gawk
+ @end direntry
+
+ @fonttextsize 11
================================================================
---- gitweb:
http://git.pld-linux.org/gitweb.cgi/packages/gawk.git/commitdiff/18c4cd1cf092a12a2cf535ad610ffe7f0a183ee2
_______________________________________________
pld-cvs-commit mailing list
[email protected]
http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
