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 /ui-tree.h | |
| 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 'ui-tree.h')
0 files changed, 0 insertions, 0 deletions