From 84b3ae516fffffc60989817eab9cf5749c2f492a Mon Sep 17 00:00:00 2001
From: barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 1 Dec 2009 21:49:23 +0000
Subject: fix coqchk options documentation

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12552 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 man/coqchk.1 | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'man')

diff --git a/man/coqchk.1 b/man/coqchk.1
index b0a9c6abf..2709a4be4 100644
--- a/man/coqchk.1
+++ b/man/coqchk.1
@@ -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