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

reply via email to

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