From b7be87bb93c32de7690b40e756702e04cf1b25b6 Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Mon, 7 Apr 2003 19:17:03 +0000
Subject: Typo

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3862 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 man/coq_makefile.1 | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'man/coq_makefile.1')

diff --git a/man/coq_makefile.1 b/man/coq_makefile.1
index a24f66b7c..b5de6d367 100644
--- a/man/coq_makefile.1
+++ b/man/coq_makefile.1
@@ -19,8 +19,7 @@ is a makefile generator for Coq proof developments.
 
 .TP
 .BI \-h
-Will give you a description of the whole list of options of coqc and
-coqtop.
+Will give you a description of the whole list of options of coq_makefile.
 
 .SH SEE ALSO
 
-- 
cgit v1.2.3