summaryrefslogtreecommitdiff
path: root/MANUAL.txt
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2016-12-03 17:17:30 +0100
committerJohn MacFarlane <jgm@berkeley.edu>2017-01-25 17:07:40 +0100
commit63dc6bd02509eb31d9d221c4e39f18af2b77fe6d (patch)
treed74df0d57aa4c32eb8fed42a7548d98c3e1d5a19 /MANUAL.txt
parent2710fc426130738715fdf1ac6dd0c111a5ac8340 (diff)
Added a `--quiet` option to suppress warnings.
Use this also in Tests.Old.
Diffstat (limited to 'MANUAL.txt')
-rw-r--r--MANUAL.txt4
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.