1 files changed, 6 insertions, 2 deletions
diff --git a/man/coqchk.1 b/man/coqchk.1
index a00914eab..f9241c0d4 100644
--- a/man/coqchk.1
+++ b/man/coqchk.1
@@ -34,13 +34,17 @@ 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.