gnu-web-doc-update: fix --help * build-aux/gnu-web-doc-update: The information "top level" was written twice.
2012-07-30T12:26:43