gnu-web-doc-update: correct --help output
authorJim Meyering <meyering@redhat.com>
Fri, 2 Oct 2009 10:31:38 +0000 (12:31 +0200)
committerJim Meyering <meyering@redhat.com>
Fri, 2 Oct 2009 10:31:38 +0000 (12:31 +0200)
commit3e08d3f9b9b5920385529d4a981f052bbcc0a5a7
tree3362a29c2d11e15aa649930a8d1d01aa8e75849e
parentfaf52e824a51a93d173ed97c8901415a0be19481
gnu-web-doc-update: correct --help output

* build-aux/gnu-web-doc-update: Make --help output relevant.
ChangeLog
build-aux/gnu-web-doc-update