Mark Wielaard a489f40f78 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.

2020-06-09 11:23:46 +02:00

..

docs

docs: Make sure all elements that need it have an id tag.

2020-06-09 11:23:46 +02:00

tests

Fix reads and writes counts in DHAT.

2020-05-08 08:40:19 +10:00

dh_main.c

Fix reads and writes counts in DHAT.

2020-05-08 08:40:19 +10:00

dh_test.js

Cleanup GPL header address notices by using http://www.gnu.org/licenses/

2019-05-26 20:07:51 +02:00

dh_view.css

Cleanup GPL header address notices by using http://www.gnu.org/licenses/

2019-05-26 20:07:51 +02:00

dh_view.html

Overhaul DHAT.

2019-02-01 14:54:34 +11:00

dh_view.js

Cleanup GPL header address notices by using http://www.gnu.org/licenses/

2019-05-26 20:07:51 +02:00

Makefile.am

Install dhat viewer files in libexec.

2019-04-08 00:02:21 +02:00