diff options
author | Mike Frysinger <vapier@gentoo.org> | 2021-09-18 14:55:54 -0400 |
---|---|---|
committer | Mike Frysinger <vapier@gentoo.org> | 2021-09-19 02:20:34 -0400 |
commit | 034ce7b42a1da639979fd743d8b9b1fb86c22d1c (patch) | |
tree | 3c71433f404d129e9adc2776bda6517102ee7d6d /gdb | |
parent | ffb3f587933f20bf9e6e9a26ac547a8589fac081 (diff) | |
download | gdb-034ce7b42a1da639979fd743d8b9b1fb86c22d1c.zip gdb-034ce7b42a1da639979fd743d8b9b1fb86c22d1c.tar.gz gdb-034ce7b42a1da639979fd743d8b9b1fb86c22d1c.tar.bz2 |
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.
Diffstat (limited to 'gdb')
-rw-r--r-- | gdb/doc/gdb.texinfo | 4 |
1 files changed, 2 insertions, 2 deletions
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 @@ 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 |