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: Pádraig Brady
Subject: Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output
Date: Tue, 31 Mar 2015 17:28:52 +0100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.5.0

On 31/03/15 16:51, Ludovic Courtès wrote:
> 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?

+1

There should be more consistency and less duplication of effort with that



reply via email to

[Prev in Thread] Current Thread [Next in Thread]