summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAkim Demaille <akim@lrde.epita.fr>2012-12-14 12:53:34 +0100
committerAkim Demaille <akim@lrde.epita.fr>2012-12-16 15:39:26 +0100
commita42a32e05e8406424d702f6a9e0e2c12b7e460ea (patch)
treed0d4f3603bee8d97f52234f6b067d0b781f42514
parent40f82767840187c20051ca99385f75a42f92de99 (diff)
downloadgnulib-a42a32e05e8406424d702f6a9e0e2c12b7e460ea.tar.gz
gnu-web-doc-update: improve --help
* build-aux/gnu-web-doc-update: Move comments into --help.
-rw-r--r--ChangeLog5
-rwxr-xr-xbuild-aux/gnu-web-doc-update12
2 files changed, 11 insertions, 6 deletions
diff --git a/ChangeLog b/ChangeLog
index bdd4ad56f5..fc36ecddf7 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2012-12-16 Akim Demaille <akim@lrde.epita.fr>
+
+ gnu-web-doc-update: improve --help
+ * build-aux/gnu-web-doc-update: Move comments into --help.
+
2012-12-07 Eric Wong <normalperson@yhbt.net>
mountlist: recognize more "dummy" file systems
diff --git a/build-aux/gnu-web-doc-update b/build-aux/gnu-web-doc-update
index 4acd69d151..e09db86630 100755
--- a/build-aux/gnu-web-doc-update
+++ b/build-aux/gnu-web-doc-update
@@ -1,13 +1,8 @@
#!/bin/sh
# Run this after each non-alpha release, to update the web documentation at
# http://www.gnu.org/software/$pkg/manual/
-# This script must be run from the top-level directory,
-# assumes you're using git for revision control,
-# and requires a .prev-version file as well as a Makefile,
-# from which it extracts the version number and package name, respectively.
-# Also, it assumes all documentation is in the doc/ sub-directory.
-VERSION=2009-07-21.16; # UTC
+VERSION=2012-12-16.14; # UTC
# Copyright (C) 2009-2012 Free Software Foundation, Inc.
@@ -37,6 +32,11 @@ 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/
+This script assumes you're using git for revision control, and
+requires a .prev-version file as well as a Makefile, from which it
+extracts the version number and package name, respectively. Also, it
+assumes all documentation is in the doc/ sub-directory.
+
Options:
-C, --builddir=DIR location of (configured) Makefile (default: .)
--help print this help, then exit