diff options
author | John Keeping <john@keeping.me.uk> | 2018-06-16 12:11:09 +0000 |
---|---|---|
committer | John Keeping <john@keeping.me.uk> | 2018-06-16 13:06:03 +0000 |
commit | 48f175083ae9ee03aa5ed7cddfbf74edf6d75774 (patch) | |
tree | 700136d8739def1eed90bc69d768e8aa2ec4a641 /cgit-doc.css | |
parent | 33414d7869aa55aaccd45cdb82268d454cb79863 (diff) | |
download | cgit-48f175083ae9ee03aa5ed7cddfbf74edf6d75774.tar cgit-48f175083ae9ee03aa5ed7cddfbf74edf6d75774.tar.gz cgit-48f175083ae9ee03aa5ed7cddfbf74edf6d75774.zip |
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 'cgit-doc.css')
-rw-r--r-- | cgit-doc.css | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/cgit-doc.css b/cgit-doc.css deleted file mode 100644 index 5a399b6..0000000 --- a/cgit-doc.css +++ /dev/null @@ -1,3 +0,0 @@ -div.variablelist dt { - margin-top: 1em; -} |