From 1d643c4751bd317efe6412aa09be0e726f366b53 Mon Sep 17 00:00:00 2001
From: courant <courant@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 25 Apr 2001 13:51:01 +0000
Subject: man pages for coq-interface and parser

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

(limited to 'man/coqc.1')

diff --git a/man/coqc.1 b/man/coqc.1
index 0535e6e29..741b3dcb8 100644
--- a/man/coqc.1
+++ b/man/coqc.1
@@ -40,6 +40,7 @@ coqtop.
 .SH SEE ALSO
 
 .BR coqtop (1),
+.BR coq_makefile (1),
 .BR coqdep (1).
 .br
 .I
-- 
cgit v1.2.3