Minor doc markup changes.

1 files changed, 7 insertions, 8 deletions

diff --git a/doc/gawk.texi b/doc/gawk.texi
index 2b0c74c4..317635fa 100644
--- a/doc/gawk.texi
+++ b/doc/gawk.texi
@@ -28237,7 +28237,7 @@ and also available @uref{https://www.gnu.org/software/texinfo/manual/texinfo/, o
 @end ifnotinfo
 @ifinfo
 (The Texinfo language is described fully, starting with
-@inforef{Top, , Texinfo, texinfo,Texinfo---The GNU Documentation Format}.)
+@ref{Top, , Texinfo, texinfo,Texinfo---The GNU Documentation Format}.)
 @end ifinfo
 
 For our purposes, it is enough to know three things about Texinfo input
@@ -30459,8 +30459,7 @@ It then prints the results and closes the connection.
 Because this topic is extensive, the use of @command{gawk} for
 TCP/IP programming is documented separately.
 @ifinfo
-See
-@inforef{Top, , General Introduction, gawkinet, @value{GAWKINETTITLE}},
+@xref{Top, , General Introduction, gawkinet, @value{GAWKINETTITLE}},
 @end ifinfo
 @ifnotinfo
 See
@@ -31788,7 +31787,7 @@ using the GNU @command{gettext} package.
 (GNU @command{gettext} is described in
 complete detail in
 @ifinfo
-@inforef{Top, , GNU @command{gettext} utilities, gettext, GNU @command{gettext} utilities}.)
+@xref{Top, , GNU @command{gettext} utilities, gettext, GNU @command{gettext} utilities}.)
 @end ifinfo
 @ifnotinfo
 @uref{https://www.gnu.org/software/gettext/manual/,
@@ -41911,7 +41910,7 @@ The generated Info file for this @value{DOCUMENT}.
 @item doc/gawkinet.texi
 The Texinfo source file for
 @ifinfo
-@inforef{Top, , General Introduction, gawkinet, @value{GAWKINETTITLE}}.
+@ref{Top, , General Introduction, gawkinet, @value{GAWKINETTITLE}}.
 @end ifinfo
 @ifnotinfo
 @cite{@value{GAWKINETTITLE}}.
@@ -41928,7 +41927,7 @@ The generated Info file for
 @item doc/gawkworkflow.texi
 The Texinfo source file for
 @ifinfo
-@inforef{Top, , General Introduction, gawkworkflow, @value{GAWKWORKFLOWTITLE}}.
+@ref{Top, , General Introduction, gawkworkflow, @value{GAWKWORKFLOWTITLE}}.
 @end ifinfo
 @ifnotinfo
 @cite{@value{GAWKWORKFLOWTITLE}}.
@@ -42073,7 +42072,7 @@ the Free Software Foundation's website}.)
 @end ifnotinfo
 @ifinfo
 (The Autoconf software is described fully starting with
-@inforef{Top, , Autoconf, autoconf,Autoconf---Generating Automatic Configuration Scripts}.)
+@ref{Top, , Autoconf, autoconf,Autoconf---Generating Automatic Configuration Scripts}.)
 @end ifinfo
 
 To configure @command{gawk}, simply run @command{configure}:
@@ -43813,7 +43812,7 @@ for information on getting the latest version of @command{gawk}.)
 Follow the @cite{GNU Coding Standards}.
 @end ifnotinfo
 @ifinfo
-See @inforef{Top, , Version, standards, GNU Coding Standards}.
+@xref{Top, , Version, standards, GNU Coding Standards}.
 @end ifinfo
 This document describes how GNU software should be written. If you haven't
 read it, please do so, preferably @emph{before} starting to modify @command{gawk}.