diff options
author | John MacFarlane <jgm@berkeley.edu> | 2016-12-03 17:17:30 +0100 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2017-01-25 17:07:40 +0100 |
commit | 63dc6bd02509eb31d9d221c4e39f18af2b77fe6d (patch) | |
tree | d74df0d57aa4c32eb8fed42a7548d98c3e1d5a19 /MANUAL.txt | |
parent | 2710fc426130738715fdf1ac6dd0c111a5ac8340 (diff) |
Added a `--quiet` option to suppress warnings.
Use this also in Tests.Old.
Diffstat (limited to 'MANUAL.txt')
-rw-r--r-- | MANUAL.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/MANUAL.txt b/MANUAL.txt index 6070d069e..bef426c31 100644 --- a/MANUAL.txt +++ b/MANUAL.txt @@ -340,6 +340,10 @@ General options : Give verbose debugging output. Currently this only has an effect with PDF output. +`--quiet` + +: Suppress warning messages. + `--list-input-formats` : List supported input formats, one per line. |