[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: Akim Demaille
Subject: Re: gnu-web-doc-update: fails to add new directories
Date: Sat, 15 Dec 2012 22:02:40 +0100

hi Jim!
Le 15 déc. 2012 à 21:41, Jim Meyering <address@hidden> a écrit :

> Thanks for working on this!

Retour d'ascenseur :)  I'm using gnulib, so it's just fair.

>> +This script assumes you're using git for revision control, and
>> +requires a .prev-version file as well as a Makefile, from which it
>> +extracts the version number and package name, respectively.  Also, it
>> +assumes all documentation is in the doc/ sub-directory.
> 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
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 :)

reply via email to

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