diff options
| -rw-r--r-- | ChangeLog | 6 | ||||
| -rwxr-xr-x | build-aux/gnu-web-doc-update | 7 |
2 files changed, 9 insertions, 4 deletions
@@ -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: .) |