gawk-4.1.4-000-info-pages-fixes.patch fixed

Patching of doc/Changelog removed, since we don't ship at all.

gawk-4.1.4-000-info-pages-fixes.patch

@@ -1,32 +1,18 @@
-From 45b363502f438604737f19b639f7dc1433a022f2 Mon Sep 17 00:00:00 2001
+From ef05a73f24871dff51a7ac686f7cfbc03addf4c8 Mon Sep 17 00:00:00 2001
 From: "Arnold D. Robbins" <arnold@skeeve.com>
 Date: Wed, 13 Sep 2017 21:50:12 +0300
 Subject: [PATCH] Small fixes to doc for use with info command.
 
 ---
- doc/ChangeLog     | 5 +++++
  doc/gawk.info     | 2 +-
  doc/gawk.texi     | 2 +-
  doc/gawkinet.info | 2 +-
  doc/gawkinet.texi | 2 +-
  doc/gawktexi.in   | 2 +-
- 6 files changed, 10 insertions(+), 5 deletions(-)
+ 5 files changed, 5 insertions(+), 5 deletions(-)
 
-diff --git a/doc/ChangeLog b/doc/ChangeLog
-index 9afe6d5..03ab0c2 100644
---- a/doc/ChangeLog
-+++ b/doc/ChangeLog
-@@ -1,3 +1,8 @@
-+2017-09-13         David Kaspar          <dkaspar@redhat.com>
-+
-+	* gawktexi.in: Fix the dir entry.
-+	* gawkinet.texi: Allow calling as `info awktexi'.
-+
- 2017-09-12         Arnold D. Robbins     <arnold@skeeve.com>
- 
- 	* gawktexi.in (Installation summary): Note OS/2 exists for PCs
 diff --git a/doc/gawk.info b/doc/gawk.info
-index b988084..3e8331c 100644
+index 6dcbfc3..e1c610e 100644
 --- a/doc/gawk.info
 +++ b/doc/gawk.info
 @@ -25,7 +25,7 @@ END-INFO-DIR-ENTRY
@@ -39,7 +25,7 @@ index b988084..3e8331c 100644
  
  
 diff --git a/doc/gawk.texi b/doc/gawk.texi
-index e2d2332..5512179 100644
+index acf57e5..ff72a6f 100644
 --- a/doc/gawk.texi
 +++ b/doc/gawk.texi
 @@ -16,7 +16,7 @@
@@ -78,7 +64,7 @@ index 07b117d..143ec46 100644
  
  @c Enable better indexing, requires texindex from Texinfo 6 or later.
 diff --git a/doc/gawktexi.in b/doc/gawktexi.in
-index f2471cc..65d3cf4 100644
+index 2c94c30..2696b46 100644
 --- a/doc/gawktexi.in
 +++ b/doc/gawktexi.in
 @@ -11,7 +11,7 @@