|
From: | Karl Berry |
Subject: | Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output |
Date: | Fri, 12 Dec 2014 00:04:19 GMT |
I don't agree with changing the default css in gendocs.sh. (And I also don't want to debate it, sorry.) If you want to do that for your manuals, you can use --html or override MAKEINFO or probably other things. k
[Prev in Thread] | Current Thread | [Next in Thread] |