gnu-web-doc-update: fix --help

* build-aux/gnu-web-doc-update: The information "top level" was written
twice.

diff --git a/ChangeLog b/ChangeLog
index b444910..599fb07 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -11,6 +11,12 @@
 
 2012-07-30  Akim Demaille  <akim@lrde.epita.fr>
 
+       gnu-web-doc-update: fix --help
+       * build-aux/gnu-web-doc-update: The information "top level" was written
+       twice.
+
+2012-07-30  Akim Demaille  <akim@lrde.epita.fr>
+
        maint.mk: absolute VPATH issue
        * top/maint.mk (release-prep): Help Git find .git/.
        From Jim Meyering.

diff --git a/build-aux/gnu-web-doc-update b/build-aux/gnu-web-doc-update
index 263a8f1..4acd69d 100755 (executable)
--- a/build-aux/gnu-web-doc-update
+++ b/build-aux/gnu-web-doc-update
@@ -33,10 +33,9 @@ help()
   cat <<EOF
 Usage: $ME
 
-Run this script from top_srcdir (no options or arguments) after each
-non-alpha release, to update the web documentation at
-http://www.gnu.org/software/\$pkg/manual/ Run it from your project's
-the top-level directory.
+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/
 
 Options:
   -C, --builddir=DIR  location of (configured) Makefile (default: .)