From: Mark Wielaard Date: Thu, 14 May 2020 16:47:57 +0000 (+0200) Subject: Resolve id conflicts in See Also sections in valgrind and vgdb manpages. X-Git-Tag: VALGRIND_3_16_0~9 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=e35c8a096a19ed370c4d83c069180dbd6bed838b;p=thirdparty%2Fvalgrind.git Resolve id conflicts in See Also sections in valgrind and vgdb manpages. Because the manpages are processed together they cannot contain the same ids. Both the valgrind and vgdb manpage reference the vgdb main manual URL. That conflicts even though the valgrind.1 and vgdb.1 manual page are separate. Prefixing the vgdb ids (with "vgdb-") works around the conflict. It still works fine, since in vgdb the references are only directly used in the "See Also" refsect. The labels and urls still come out as intended. With this fix make valid validates both the manual index.xml and manpages-index.xml without errors. --- diff --git a/coregrind/docs/vgdb-manpage.xml b/coregrind/docs/vgdb-manpage.xml index 2eeedbd490..090ff56682 100644 --- a/coregrind/docs/vgdb-manpage.xml +++ b/coregrind/docs/vgdb-manpage.xml @@ -57,13 +57,18 @@ intermediary between Valgrind and GDB or a shell. It has two usage modes: valgrind(1), &vg-docs-path; or &vg-docs-url;, - +&vg-gdbserver-label; -&vg-vgdb-label;, -&vg-monitor-label;.