# HG changeset patch # User Jim Meyering # Date 1254479498 -7200 # Node ID dd424efcfda8eeab4489e294f950f08f35088cca # Parent 2fb195fbc006881a2b8e7168fb55e04aa9afbee8 gnu-web-doc-update: correct --help output * build-aux/gnu-web-doc-update: Make --help output relevant. diff --git a/ChangeLog b/ChangeLog --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,8 @@ 2009-10-02 Jim Meyering + 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 --- a/build-aux/gnu-web-doc-update +++ b/build-aux/gnu-web-doc-update @@ -37,8 +37,9 @@ --help) cat <