From 13d740aa18c0bbc5dad6d6753106bdc5b7ad05b2 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Tue, 16 Mar 2004 09:15:08 +0000
Subject: pages de man pour coqwc et coqdoc

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

diff --git a/Makefile b/Makefile
index 1bed53427f..981ec78820 100644
--- a/Makefile
+++ b/Makefile
@@ -1219,6 +1219,7 @@ install-coq-info: install-coq-manpages install-emacs install-latex
 
 MANPAGES=man/coq-tex.1 man/coqdep.1 man/gallina.1 \
 	man/coqc.1 man/coqtop.1 man/coqtop.byte.1 man/coqtop.opt.1 \
+	man/coqwc.1 man/coqdoc.1 \
 	man/coq_makefile.1 man/coqmktop.1 man/coq_vo2xml.1
 
 install-coq-manpages:
-- 
cgit v1.2.3