[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