From: Mike Frysinger <vapier@gentoo.org>
Date: Sat, 18 Sep 2021 18:55:54 +0000 (-0400)
Subject: gdb: manual: update @inforef to @xref
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=034ce7b42a1da639979fd743d8b9b1fb86c22d1c;p=binutils-gdb.git

gdb: manual: update @inforef to @xref

The @inforef command is deprecated, and @xref does the samething.
Also had to update the text capitalization to match current manual.
Verified that info & HTML links work.
---

diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index 88f97012b73..44837d9048f 100644
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -38632,8 +38632,8 @@ directory (@file{gdb-@value{GDBVN}}, for version @value{GDBVN}).
 
 Here is a summary of the @file{configure} options and arguments that
 are most often useful for building @value{GDBN}.  @file{configure}
-also has several other options not listed here.  @inforef{Running
-configure scripts,,autoconf.info}, for a full
+also has several other options not listed here.  @xref{Running
+configure Scripts,,,autoconf}, for a full
 explanation of @file{configure}.
 
 @smallexample