Akim Demaille wrote: > Le 13 déc. 2012 à 18:06, Jim Meyering <j...@meyering.net> 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 <a...@lrde.epita.fr> > 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/