From 5b7eafd0f00a16d78f99a27f5c7d5a0de77dc7e6 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Wed, 21 Jul 2010 09:46:51 +0200
Subject: Imported Upstream snapshot 8.3~beta0+13298

---
 man/coqchk.1 | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

(limited to 'man/coqchk.1')

diff --git a/man/coqchk.1 b/man/coqchk.1
index b0a9c6ab..f51861f0 100644
--- a/man/coqchk.1
+++ b/man/coqchk.1
@@ -52,7 +52,7 @@ makes coqchk less verbose.
 .TP
 .BI \-admit \ file-or-module
 tag the specified module and all its dependencies as trusted, and will
-not be rechecked, unless explicitely requested by other options.
+not be rechecked, unless explicitly requested by other options.
 
 .TP
 .BI \-norec \ file-or-module
@@ -73,6 +73,18 @@ verified: assumptions and usage of impredicativity
 allows the checker to verify libraries that have been compiled with
 this flag.
 
+.TP
+.BI \-v
+print Coq version and exit
+
+.TP
+.BI \-where
+print Coq's standard library location and exit
+
+.TP
+.BI \-h,\ \-\-help
+print list of options
+
 .SH SEE ALSO
 
 .BR coqtop (1),
-- 
cgit v1.2.3