diff options
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 bef426c31..c9b6c0fb1 100644 --- a/MANUAL.txt +++ b/MANUAL.txt @@ -344,6 +344,10 @@ General options : Suppress warning messages. +`--fail-if-warnings` + +: Exit with error status if there are any warnings. + `--list-input-formats` : List supported input formats, one per line. |