| commit | e35c8a096a19ed370c4d83c069180dbd6bed838b | |
| author | Mark Wielaard <mark@klomp.org> | |
| Thu, 14 May 2020 16:47:57 +0000 (14 18:47 +0200) | ||
| committer | Mark Wielaard <mark@klomp.org> | |
| Thu, 14 May 2020 16:51:45 +0000 (14 18:51 +0200) | ||
| tree | 6fd1e5363467347fdace3ab751e23828cb16e151 | treesnapshot (tar.gz zip) |
| parent | de93a35139d8d2822cc37dfecfa40a99a80426e9 | commitdiff |
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.
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.
| coregrind/docs/vgdb-manpage.xml | diffblobblamehistory |