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 88f97012b730c8b66384a427ed172199077279e4..44837d9048f93de7d5739eba96f00f566d632146 100644 (file)
--- 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