summaryrefslogtreecommitdiff
path: root/build-aux/gnu-web-doc-update
diff options
context:
space:
mode:
authorAkim Demaille <akim@lrde.epita.fr>2012-07-30 12:26:43 +0200
committerAkim Demaille <akim@lrde.epita.fr>2012-07-30 14:27:05 +0200
commitea5a7a3403afa5af3948e8226a1ace4f89497210 (patch)
treea37c410d829d76fd5dad4fcc36b8a60b5da970b6 /build-aux/gnu-web-doc-update
parent7f4d7474bc9b613a5a6577819befb340e1093d67 (diff)
downloadgnulib-ea5a7a3403afa5af3948e8226a1ace4f89497210.tar.gz
gnu-web-doc-update: fix --help
* build-aux/gnu-web-doc-update: The information "top level" was written twice.
Diffstat (limited to 'build-aux/gnu-web-doc-update')
-rwxr-xr-xbuild-aux/gnu-web-doc-update7
1 files changed, 3 insertions, 4 deletions
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 <<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: .)