[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: gnu-web-doc-update: fails to add new directories
From: |
Jim Meyering |
Subject: |
Re: gnu-web-doc-update: fails to add new directories |
Date: |
Sat, 15 Dec 2012 23:07:33 +0100 |
Akim Demaille wrote:
...
>> Did you intend to remove this comment?
>> I know they're also in --help output, but it's probably
>> best to leave them at the top, too.
>>
>>> -# Run this after each non-alpha release, to update the web documentation at
>>> -# http://www.gnu.org/software/$pkg/manual/
>
> I'm slightly confused by the singular vs. plural. You mean
As well you should be. Initially I wrote about the "two lines", then
did s/.../comment/, but didn't remove the "s" in the following sentence.
> keeping this only comment on top as a short description of
> what this file is, right? In which case, I concur, I was too
> eager :)
Right. Thanks.
- Re: [off-list] CVS pains, (continued)
- Re: [off-list] CVS pains, Simon Josefsson, 2012/12/13
- Re: [off-list] CVS pains (was: Re: gnu-web-doc-update: fails to add new directories), Karl Berry, 2012/12/13
- Re: [off-list] CVS pains (was: Re: gnu-web-doc-update: fails to add new directories), Stefano Lattarini, 2012/12/14
- Re: [off-list] CVS pains, Thien-Thi Nguyen, 2012/12/14
- Re: [off-list] CVS pains, Karl Berry, 2012/12/14
- Re: [off-list] CVS pains, Thien-Thi Nguyen, 2012/12/15
- Re: gnu-web-doc-update: fails to add new directories, Jim Meyering, 2012/12/13
- Re: gnu-web-doc-update: fails to add new directories, Akim Demaille, 2012/12/14
- Re: gnu-web-doc-update: fails to add new directories, Jim Meyering, 2012/12/15
- Re: gnu-web-doc-update: fails to add new directories, Akim Demaille, 2012/12/15
- Re: gnu-web-doc-update: fails to add new directories,
Jim Meyering <=
- Re: gnu-web-doc-update: fails to add new directories, Akim Demaille, 2012/12/16