up to 5.1.1

[packages/gawk.git] / gawk-info.patch

diff --git a/gawk-info.patch b/gawk-info.patch
index fedb93384f8bf841296204f0fd8a14795c0c7fb9..fa3858beedc9db4b5de02ec35051e42c795caa3e 100644 (file)
--- a/gawk-info.patch
+++ b/gawk-info.patch
@@ -16,7 +16,7 @@
 +* awk: (gawk)gawk.                    Text scanning and processing
  @end direntry
  
- @c Enable better indexing, requires texindex from Texinfo 6 or later.
+ @ifset FOR_PRINT
 @@ -437,7 +434,7 @@
  * Getting Started::                A basic introduction to using
                                     @command{awk}. How to run an @command{awk}
@@ -56,8 +56,8 @@
 --- gawk-4.2.0/doc/gawkinet.texi.orig  2017-12-07 17:43:05.506383316 +0100
 +++ gawk-4.2.0/doc/gawkinet.texi       2017-12-07 17:49:30.369712255 +0100
 @@ -5,9 +5,9 @@
- @c %**end of header (This is for running Texinfo on a region.)
- @c FIXME: web vs. Web
+ @c https://english.stackexchange.com/questions/120869/should-i-capitalize-the-word-web-in-this-sentence
+ @c We leave the many occurrences of web in this file as they are.
  
 -@dircategory Network applications
 +@dircategory Programming Languages:
@@ -66,7 +66,7 @@
 +* awkinet: (gawkinet).                        TCP/IP Internetworking With `gawk'
  @end direntry
  
- @c Enable better indexing, requires texindex from Texinfo 6 or later.
+ @iftex
 --- gawk-4.2.0/doc/gawkworkflow.texi.orig      2017-08-17 06:58:56.000000000 +0200
 +++ gawk-4.2.0/doc/gawkworkflow.texi   2017-12-07 20:35:57.092931555 +0100
 @@ -5,13 +5,9 @@