From 63dc6bd02509eb31d9d221c4e39f18af2b77fe6d Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sat, 3 Dec 2016 17:17:30 +0100
Subject: Added a `--quiet` option to suppress warnings.

Use this also in Tests.Old.
---
 MANUAL.txt | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'MANUAL.txt')

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.
-- 
cgit v1.2.3