- @set xref-automatic-section-title
-diff -Nru gawk-3.1.3.orig/doc/gawkinet.texi gawk-3.1.3/doc/gawkinet.texi
---- gawk-3.1.3.orig/doc/gawkinet.texi 2003-05-08 18:26:07.000000000 +0200
-+++ gawk-3.1.3/doc/gawkinet.texi 2003-07-09 09:42:35.000000000 +0200
+ @c Enable better indexing, requires texindex from Texinfo 6 or later.
+@@ -437,7 +434,7 @@
+ * Getting Started:: A basic introduction to using
+ @command{awk}. How to run an @command{awk}
+ program. Command-line syntax.
+-* Invoking Gawk:: How to run @command{gawk}.
++* gawk:: How to run @command{gawk}.
+ * Regexp:: All about matching things using regular
+ expressions.
+ * Reading Files:: How to read files and manipulate fields.
+@@ -1624,7 +1621,7 @@
+ provides the essentials you need to know to begin using @command{awk}.
+
+ @item
+-@ref{Invoking Gawk},
++@ref{gawk},
+ describes how to run @command{gawk}, the meaning of its
+ command-line options, and how it finds @command{awk}
+ program source files.
+@@ -2325,7 +2322,7 @@
+ @ref{Getting Started}
+
+ @item
+-@ref{Invoking Gawk}
++@ref{gawk}
+
+ @item
+ @ref{Regexp}
+@@ -3718,7 +3715,7 @@
+ @samp{||}, @samp{&&}, @code{do}, and @code{else}.
+ @end itemize
+
+-@node Invoking Gawk
++@node gawk
+ @chapter Running @command{awk} and @command{gawk}
+
+ This @value{CHAPTER} covers how to run @command{awk}, both POSIX-standard
+--- 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