summaryrefslogtreecommitdiff
path: root/ui-diff.h
diff options
context:
space:
mode:
authorJohn Keeping <john@keeping.me.uk>2018-06-16 13:11:09 +0100
committerJohn Keeping <john@keeping.me.uk>2018-06-16 14:06:03 +0100
commit48f175083ae9ee03aa5ed7cddfbf74edf6d75774 (patch)
tree700136d8739def1eed90bc69d768e8aa2ec4a641 /ui-diff.h
parent33414d7869aa55aaccd45cdb82268d454cb79863 (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 'ui-diff.h')
0 files changed, 0 insertions, 0 deletions