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.
This commit is contained in:
Mike Frysinger
2021-09-18 14:55:54 -04:00
parent ffb3f58793
commit 034ce7b42a

View File

@ -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