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

[Ludovic Courtès]

address@hidden (Karl Berry) skribis:

> To the best of my knowledge, you can use --html or override MAKEINFO or
> probably other things to get whatever css you want into the gendocs.sh
> output.  Feel free to do that for your own manuals.
>
> I don't want to change the defaults in any such wholesale way.  (I also
> don't expect you to agree with that, but that's how I feel.)

Indeed, the idea here was to improve the style while preserving
consistency.  That seemed pretty non-controversial to me.

Could you explain why you think this is inappropriate?

Or maybe this is off-topic here and should be discussed with
address@hidden

I’m open to any suggestions you may have.

Thanks,
Ludo’.