From 9043add656177eeac1491a73d2f3ab92bec0013c Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@debian.org>
Date: Sat, 29 Dec 2018 14:31:27 -0500
Subject: Imported Upstream version 8.8.2

---
 man/coqchk.1 | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

(limited to 'man/coqchk.1')

diff --git a/man/coqchk.1 b/man/coqchk.1
index 76a7cfc5..f9241c0d 100644
--- a/man/coqchk.1
+++ b/man/coqchk.1
@@ -23,7 +23,7 @@ library was not found, corrupted content, type-checking failure, etc.
 
 .IR modules \&
 is a list of modules to be checked. Modules can be referred to by a
-short or qualified name.
+short or qualified logical name, or by their filename.
 
 .SH OPTIONS
 
@@ -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