From ea5a7a3403afa5af3948e8226a1ace4f89497210 Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim@lrde.epita.fr>
Date: Mon, 30 Jul 2012 12:26:43 +0200
Subject: [PATCH] gnu-web-doc-update: fix --help

* 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 b4449103d..599fb07df 100644
--- 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 263a8f18a..4acd69d15 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: .)
-- 
2.11.0