From: Jean Privat Date: Thu, 22 Oct 2015 00:45:40 +0000 (-0400) Subject: Merge: Cleanup and synchronize options in manpages X-Git-Tag: v0.7.9~13 X-Git-Url: http://nitlanguage.org Merge: Cleanup and synchronize options in manpages A tedious work to detect and fix undocumented options in the manpages of tools. This also synchronizse the description of `--help` and the text in manpages (when there is a diversion, the best one if often selected). Cherry on the cake: a new script `check_manpage` can automatically check that new options of tools are documented in the man. Close #1772 Pull-Request: #1778 Reviewed-by: Lucas Bajolet Reviewed-by: Alexandre Terrasa --- f8f0dcbd1c875d32fb1ddefffc927f0fdef3904c