+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
#!/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.
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