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

[Ludovic Courtès]

Reviving this old thread...
http://lists.gnu.org/archive/html/bug-gnulib/2014-12/msg00157.html

address@hidden (Ludovic Courtès) skribis:

> 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.

Some weeks ago I discussed this with address@hidden  The conclusion
was that they’d rather not take care of the CSS for manuals themselves;
instead, they suggested hosting the CSS file at gnu.org/s/gnulib.

So, the updated proposal would be to copy, say,
<http://gnu.org/s/coreutils/manual.css> to
<http://gnu.org/s/gnulib/manual.css>, and then to update gendocs.sh to
refer to that by default.

Objections?  Suggestions?

Thanks,
Ludo’.