]> 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 11:55:43 +0000 (13:55 +0200)
commit903dd4b53d9706bc87e1146919d0c162967cfff7
tree9b00cce79c8fbf23271813ecd339c013fd75d116
parent108b4a0880bc04f9db6133f79a8e4a98dcfc0cd0
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.

(cherry picked from commit a489f40f78cee5559c230699befe11ff52388c28)
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