bug-gnulib
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML out

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
reply via email to
[Prev in Thread] Current Thread [Next in Thread]