Add wiki links to output, and a -W controlling it. (Fixes #920)

This commit is contained in:
Vidar Holen
2018-10-10 21:27:52 -07:00
parent 79319558a5
commit e0e46e979a
5 changed files with 89 additions and 14 deletions

View File

@@ -71,6 +71,11 @@ not warn at all, as `ksh` supports decimals in arithmetic contexts.
: Print version information and exit.
**-W** *NUM*,\ **--wiki-link-count=NUM**
: For TTY output, show *NUM* wiki links to more information about mentioned
warnings. Set to 0 to disable them entirely.
**-x**,\ **--external-sources**
: Follow 'source' statements even when the file is not specified as input.