gdb: manual: update @inforef to @xref
authorMike Frysinger <vapier@gentoo.org>
Sat, 18 Sep 2021 18:55:54 +0000 (14:55 -0400)
committerMike Frysinger <vapier@gentoo.org>
Sun, 19 Sep 2021 06:20:34 +0000 (02:20 -0400)
commit034ce7b42a1da639979fd743d8b9b1fb86c22d1c
tree3c71433f404d129e9adc2776bda6517102ee7d6d
parentffb3f587933f20bf9e6e9a26ac547a8589fac081
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