Re: gnu-web-doc-update: fails to add new directories

[Akim Demaille]

Le 15 déc. 2012 à 23:07, Jim Meyering <address@hidden> a écrit :

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

Installed as follows.

commit a42a32e05e8406424d702f6a9e0e2c12b7e460ea
Author: Akim Demaille <address@hidden>
Date:   Fri Dec 14 12:53:34 2012 +0100

    gnu-web-doc-update: improve --help
    
    * build-aux/gnu-web-doc-update: Move comments into --help.

diff --git a/ChangeLog b/ChangeLog
index bdd4ad5..fc36ecd 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2012-12-16  Akim Demaille  <address@hidden>
+
+       gnu-web-doc-update: improve --help
+       * build-aux/gnu-web-doc-update: Move comments into --help.
+
 2012-12-07  Eric Wong  <address@hidden>
 
        mountlist: recognize more "dummy" file systems
diff --git a/build-aux/gnu-web-doc-update b/build-aux/gnu-web-doc-update
index 4acd69d..e09db86 100755
--- a/build-aux/gnu-web-doc-update
+++ b/build-aux/gnu-web-doc-update
@@ -1,13 +1,8 @@
 #!/bin/sh
 # Run this after each non-alpha release, to update the web documentation at
 # http://www.gnu.org/software/$pkg/manual/
-# This script must be run from the top-level directory,
-# 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.
 
-VERSION=2009-07-21.16; # UTC
+VERSION=2012-12-16.14; # UTC
 
 # Copyright (C) 2009-2012 Free Software Foundation, Inc.
 
@@ -37,6 +32,11 @@ Run this script from top_srcdir (no arguments) after each 
non-alpha
 release, to update the web documentation at
 http://www.gnu.org/software/\$pkg/manual/
 
+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.
+
 Options:
   -C, --builddir=DIR  location of (configured) Makefile (default: .)
   --help              print this help, then exit