summaryrefslogtreecommitdiff
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
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.
-rw-r--r--ChangeLog6
-rwxr-xr-xbuild-aux/gnu-web-doc-update7
2 files changed, 9 insertions, 4 deletions
diff --git a/ChangeLog b/ChangeLog
index b4449103de..599fb07dfa 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 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: .)