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

[Pádraig Brady]

On 11/12/14 15:59, Ludovic Courtès wrote:
> The patch below intends to make on-line manuals prettier by default, and
> to make it easier to change their style in the future.
> 
> It assumes that <http://gnu.org/s/emacs/manual.css> would be copied to
> <http://gnu.org/manual/manual.css> as a starting point.

Seems like a good idea to me.
Projects can override this if they want.

We can merge this after the global css is in place.

thanks,
Pádraig.