diff options
author | John Keeping <john@keeping.me.uk> | 2018-06-16 13:11:09 +0100 |
---|---|---|
committer | John Keeping <john@keeping.me.uk> | 2018-06-16 14:06:03 +0100 |
commit | 48f175083ae9ee03aa5ed7cddfbf74edf6d75774 (patch) | |
tree | 700136d8739def1eed90bc69d768e8aa2ec4a641 /tests/valgrind | |
parent | 33414d7869aa55aaccd45cdb82268d454cb79863 (diff) |
Makefile: drive asciidoc directly for HTML output
This is mostly taken from Git's doc/Makefile, although simplified for
our use. The output now uses Asciidoc's default CSS which I think looks
a bit nicer than the Docbook formatting; as a result of this we no
longer need our custom .css file.
A side effect of this change is that temporary files generated from the
HTML output no longer conflict with the manpage output format (because
any temporary HTML output files use names derived from the output
filename which includes .html).
Signed-off-by: John Keeping <john@keeping.me.uk>
Diffstat (limited to 'tests/valgrind')
0 files changed, 0 insertions, 0 deletions