From ea5a7a3403afa5af3948e8226a1ace4f89497210 Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Mon, 30 Jul 2012 12:26:43 +0200 Subject: gnu-web-doc-update: fix --help * build-aux/gnu-web-doc-update: The information "top level" was written twice. --- build-aux/gnu-web-doc-update | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'build-aux/gnu-web-doc-update') diff --git a/build-aux/gnu-web-doc-update b/build-aux/gnu-web-doc-update index 263a8f18ac..4acd69d151 100755 --- a/build-aux/gnu-web-doc-update +++ b/build-aux/gnu-web-doc-update @@ -33,10 +33,9 @@ help() cat <