From 4641ee76a7258409a0a16b7b3a4b4d5b3ac76d92 Mon Sep 17 00:00:00 2001
From: notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 11 Oct 2006 14:58:05 +0000
Subject: Ajout de pages de man pour les exécutables coq
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9233 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 man/coqc.1 | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

(limited to 'man/coqc.1')

diff --git a/man/coqc.1 b/man/coqc.1
index 741b3dcb8..7113d5044 100644
--- a/man/coqc.1
+++ b/man/coqc.1
@@ -32,10 +32,13 @@ For interactive use of Coq, see
 
 .SH OPTIONS
 
-.TP
-.BI \-h
-Will give you a description of the whole list of options of coqc and
-coqtop.
+.B coqc
+is a script that simply runs
+.B coqtop
+with option 
+.B \-compile
+it accepts the same options as
+.B coqtop.
 
 .SH SEE ALSO
 
-- 
cgit v1.2.3