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

[Jim Meyering]

Akim Demaille wrote:
> Le 13 déc. 2012 à 18:06, Jim Meyering <address@hidden> a écrit :
>
>>> cvsu does not report that there are directories and files inside the
>>> 'D's.  Is it wrong to simply cvs add everything that is there?
>>> Just skipping CVS, but adding all the rest using "find"?
>>> Say "find . -name CVS -prune -o -print".
>>
>> That sounds like it will work.
>> Thanks again.
>
> Here is my proposal.  I don't see anything ready to _remove_ bits
> that are no longer generated.  This is a problem, since for instance

Hi Akim!
Yes, it'd be good to fix that, someday.

> support for PS was recently dropped in gendocs.sh.  So I can still get
> http://www.gnu.org/software/bison/manual/bison.ps from gnu.org,
> which is about an older version of Bison (2.6.4).  Besides, for some
> reason I have not tried to explore, bison.ps is actually a ps.gz
> file :(
>
> commit a1d1f4b7fc9b46fc37a8dc55b591768a80ead566
> Author: Akim Demaille <address@hidden>
> Date:   Fri Dec 14 12:58:35 2012 +0100
>
>     gnu-web-doc-update: add all the new files, even in new directories
>
>     See http://lists.gnu.org/archive/html/bug-gnulib/2012-12/msg00057.html
>
>     * build-aux/gnu-web-doc-update (--dry-run, $dryrun): New.
>     Use it.
>     (main): Don't use cvsutils to get the list of unknown files,
>     just add all the existing files and directories.
...

Thanks for working on this!

> diff --git a/build-aux/gnu-web-doc-update b/build-aux/gnu-web-doc-update
> index 4acd69d..6b88bd8 100755
> --- a/build-aux/gnu-web-doc-update
> +++ b/build-aux/gnu-web-doc-update
> @@ -1,13 +1,5 @@
>  #!/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-14.11; # UTC
>
>  # Copyright (C) 2009-2012 Free Software Foundation, Inc.
>
> @@ -37,6 +29,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.

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/