[packages/gawk] - enhanced info patch to cover pm-gawk.info
qboosh
qboosh at pld-linux.org
Mon Sep 5 20:36:13 CEST 2022
commit 18c4cd1cf092a12a2cf535ad610ffe7f0a183ee2
Author: Jakub Bogusz <qboosh at pld-linux.org>
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- at gwk{}
+ @setfilename pm-gawk.info
+ @settitle @value{TYTL}
+
+- at dircategory Text creation and manipulation
++ at 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
More information about the pld-cvs-commit
mailing list