From 3e08d3f9b9b5920385529d4a981f052bbcc0a5a7 Mon Sep 17 00:00:00 2001 From: Jim Meyering Date: Fri, 2 Oct 2009 12:31:38 +0200 Subject: [PATCH] gnu-web-doc-update: correct --help output * build-aux/gnu-web-doc-update: Make --help output relevant. --- ChangeLog | 3 +++ build-aux/gnu-web-doc-update | 5 +++-- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index 73dadbb3a..90826cc88 100644 --- 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 index adf6c5179..91902c5c4 100755 --- a/build-aux/gnu-web-doc-update +++ b/build-aux/gnu-web-doc-update @@ -37,8 +37,9 @@ help_version() --help) cat <