[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: |
Ludovic Courtès |
Subject: |
Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output |
Date: |
Wed, 01 Apr 2015 17:08:13 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.4 (gnu/linux) |
Assaf Gordon <address@hidden> skribis:
> On Mar 31, 2015, at 11:51, Ludovic Courtès <address@hidden> wrote:
>
> <...>
>> <http://gnu.org/s/gnulib/manual.css>, and then to update gendocs.sh to
>> refer to that by default.
>>
>> Objections? Suggestions?
>
> This URL results in two redirections, perhaps it'll better to use the
> expanded version?
> http://www.gnu.org/software/gnulib/manual.css
Sure, I meant to use it in full.
Ludo’.
- Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output,
Ludovic Courtès <=