From 554d691431f7bb7ef8cd1498230a89c21132cf86 Mon Sep 17 00:00:00 2001
From: coq
Date: Tue, 16 Mar 2004 15:02:35 +0000
Subject: typo

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

diff --git a/Makefile b/Makefile
index 1c494ce062..193c81af53 100644
--- a/Makefile
+++ b/Makefile
@@ -706,7 +706,7 @@ PCOQMANPAGES=man/coq-interface.1 man/parser.1
 
 install-pcoq-manpages:
 	$(MKDIR) $(FULLMANDIR)/man1
-	cp $(COQMANPAGES) $(FULLMANDIR)/man1
+	cp $(PCOQMANPAGES) $(FULLMANDIR)/man1
 
 ###########################################################################
 # tests
-- 
cgit v1.2.3