Re: [PATCH 1/4] gnu-web-doc-update: fix --help
Akim Demaille wrote: > * build-aux/gnu-web-doc-update: The information "top level" was written > twice. ACK
[PATCH 1/4] gnu-web-doc-update: fix --help
* build-aux/gnu-web-doc-update: The information "top level" was written twice. --- ChangeLog| 6 ++ build-aux/gnu-web-doc-update | 7 +++ 2 files changed, 9 insertions(+), 4 deletions(-) diff --git a/ChangeLog b/ChangeLog index ad0c05b..521b75a 100644 --- a/ChangeLog +