diff options
author | Akim Demaille <akim@lrde.epita.fr> | 2012-12-14 12:53:34 +0100 |
---|---|---|
committer | Akim Demaille <akim@lrde.epita.fr> | 2012-12-16 15:39:26 +0100 |
commit | a42a32e05e8406424d702f6a9e0e2c12b7e460ea (patch) | |
tree | d0d4f3603bee8d97f52234f6b067d0b781f42514 /build-aux/gnu-web-doc-update | |
parent | 40f82767840187c20051ca99385f75a42f92de99 (diff) | |
download | gnulib-a42a32e05e8406424d702f6a9e0e2c12b7e460ea.tar.gz |
gnu-web-doc-update: improve --help
* build-aux/gnu-web-doc-update: Move comments into --help.
Diffstat (limited to 'build-aux/gnu-web-doc-update')
-rwxr-xr-x | build-aux/gnu-web-doc-update | 12 |
1 files changed, 6 insertions, 6 deletions
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 |