From 9c0f36adac233efb1164ef88c86c78c7509d8b2c Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Wed, 29 Nov 2017 14:57:33 +0100
Subject: Documenting the -Q flag of coqchk.

---
 man/coqchk.1 | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'man')

diff --git a/man/coqchk.1 b/man/coqchk.1
index a00914eab..f9241c0d4 100644
--- a/man/coqchk.1
+++ b/man/coqchk.1
@@ -34,12 +34,16 @@ add directory
 in the include path
 
 .TP
-.BI \-R \ dir\ coqdir          
-recursively map physical
+.BI \-Q \ dir\ coqdir
+map physical
 .I dir
 to logical
 .I coqdir
 
+.TP
+.BI \-R \ dir\ coqdir
+synonymous for -Q
+
 .TP
 .BI \-silent
 makes coqchk less verbose.
-- 
cgit v1.2.3