gnu-web-doc-update: improve --help
authorAkim Demaille <akim@lrde.epita.fr>
Fri, 14 Dec 2012 11:53:34 +0000 (12:53 +0100)
committerAkim Demaille <akim@lrde.epita.fr>
Sun, 16 Dec 2012 14:39:26 +0000 (15:39 +0100)
commita42a32e05e8406424d702f6a9e0e2c12b7e460ea
treed0d4f3603bee8d97f52234f6b067d0b781f42514
parent40f82767840187c20051ca99385f75a42f92de99
gnu-web-doc-update: improve --help

* build-aux/gnu-web-doc-update: Move comments into --help.
ChangeLog
build-aux/gnu-web-doc-update