From 034ce7b42a1da639979fd743d8b9b1fb86c22d1c Mon Sep 17 00:00:00 2001 From: Mike Frysinger Date: Sat, 18 Sep 2021 14:55:54 -0400 Subject: [PATCH] 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. --- gdb/doc/gdb.texinfo | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.30.2