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 88f9701..44837d9 100644
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -38632,8 +38632,8 @@
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