diff options
author | Akim Demaille <akim@lrde.epita.fr> | 2012-07-30 12:26:43 +0200 |
---|---|---|
committer | Akim Demaille <akim@lrde.epita.fr> | 2012-07-30 14:27:05 +0200 |
commit | ea5a7a3403afa5af3948e8226a1ace4f89497210 (patch) | |
tree | a37c410d829d76fd5dad4fcc36b8a60b5da970b6 /build-aux/gnu-web-doc-update | |
parent | 7f4d7474bc9b613a5a6577819befb340e1093d67 (diff) | |
download | gnulib-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-x | build-aux/gnu-web-doc-update | 7 |
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: .) |