commit | 034ce7b42a1da639979fd743d8b9b1fb86c22d1c | [log] [tgz] |
---|---|---|
author | Mike Frysinger <vapier@gentoo.org> | Sat Sep 18 14:55:54 2021 -0400 |
committer | Mike Frysinger <vapier@gentoo.org> | Sun Sep 19 02:20:34 2021 -0400 |
tree | 3c71433f404d129e9adc2776bda6517102ee7d6d | |
parent | ffb3f587933f20bf9e6e9a26ac547a8589fac081 [diff] |
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.