Le 15 déc. 2012 à 23:07, Jim Meyering <j...@meyering.net> 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 <a...@lrde.epita.fr> 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 <a...@lrde.epita.fr> + + gnu-web-doc-update: improve --help + * build-aux/gnu-web-doc-update: Move comments into --help. + 2012-12-07 Eric Wong <normalper...@yhbt.net> 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
