From: Jim Meyering <meyering@redhat.com>
Date: Fri, 2 Oct 2009 10:31:38 +0000 (+0200)
Subject: gnu-web-doc-update: correct --help output
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3e08d3f9b9b5920385529d4a981f052bbcc0a5a7;p=pspp

gnu-web-doc-update: correct --help output

* build-aux/gnu-web-doc-update: Make --help output relevant.
---

diff --git a/ChangeLog b/ChangeLog
index 73dadbb3a8..90826cc882 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2009-10-02  Jim Meyering  <meyering@redhat.com>
 
+	gnu-web-doc-update: correct --help output
+	* build-aux/gnu-web-doc-update: Make --help output relevant.
+
 	gnu-web-doc-update: add standard options
 	* build-aux/gnu-web-doc-update: Add --help, --version, etc.
 
diff --git a/build-aux/gnu-web-doc-update b/build-aux/gnu-web-doc-update
index adf6c5179c..91902c5c46 100755
--- a/build-aux/gnu-web-doc-update
+++ b/build-aux/gnu-web-doc-update
@@ -37,8 +37,9 @@ help_version()
     --help) cat <<EOF
 Usage: $ME
 
-Output a list of version-controlled files in DIR (default .), relative to
-SRCDIR (default .).  SRCDIR must be the top directory of a checkout.
+Run this script (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.
 
 Options:
   --help     print this help, then exit