]> git.ipfire.org Git - thirdparty/valgrind.git/commit
docs: Make sure all elements that need it have an id tag.
authorMark Wielaard <mark@klomp.org>
Tue, 9 Jun 2020 09:23:46 +0000 (11:23 +0200)
committerMark Wielaard <mark@klomp.org>
Tue, 9 Jun 2020 09:23:46 +0000 (11:23 +0200)
commita489f40f78cee5559c230699befe11ff52388c28
tree253ecf9c3fd1cefaba325b64c91d05e2873c6a8c
parent0a69a8f5bdb8c9456104dedfd10744a493dfd06a
docs: Make sure all elements that need it have an id tag.

When generating HTML it is useful if every element that can be referenced
has a stable id. If it doesn't a random one is generated which makes it
harder to link to parts of the manual on the website. It also generates
spurious diffs. Explicitly add an id tag for the sect2 and sect3 elements
in dh-manual, a unique id for each legalnotice element and for each
FAQ question and answer.
dhat/docs/dh-manual.xml
docs/xml/FAQ.xml
docs/xml/dist-docs.xml
docs/xml/index.xml
docs/xml/manual.xml
docs/xml/quick-start-guide.xml
docs/xml/tech-docs.xml