From 208a0f7bfa5249f9795e6e225f309cbe715c0fad Mon Sep 17 00:00:00 2001 From: Samuel Mimram Date: Tue, 21 Nov 2006 21:38:49 +0000 Subject: Imported Upstream version 8.1~gamma --- 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 741b3dcb..7113d504 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