[PATCH 1/4] gnu-web-doc-update: fix --help

[Akim Demaille]

* build-aux/gnu-web-doc-update: The information "top level" was written
twice.
---
 ChangeLog                    | 6 ++++++
 build-aux/gnu-web-doc-update | 7 +++----
 2 files changed, 9 insertions(+), 4 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index ad0c05b..521b75a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,11 @@
 2012-07-30  Akim Demaille  <address@hidden>
 
+       gnu-web-doc-update: fix --help
+       * build-aux/gnu-web-doc-update: The information "top level" was written
+       twice.
+
+2012-07-30  Akim Demaille  <address@hidden>
+
        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
--- 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: .)
-- 
1.7.11.3