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>upstream
parent
33414d7869
commit
48f175083a
@ -1,3 +0,0 @@ |
||||
div.variablelist dt { |
||||
margin-top: 1em; |
||||
} |
Loading…
Reference in new issue