From 1bdc3ec6a53af72c343af64f12e4b9d1be4fcf45 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Fri, 5 Sep 2003 12:42:58 +0000
Subject: install coqwc

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

diff --git a/Makefile b/Makefile
index 099df2fe63..a65e29aafd 100644
--- a/Makefile
+++ b/Makefile
@@ -889,7 +889,7 @@ install-opt:
 
 install-binaries: install-ide-$(HASCOQIDE)
 	$(MKDIR) $(FULLBINDIR)
-	cp $(COQDEP) $(GALLINA) $(COQMAKEFILE) $(COQTEX) $(COQINTERFACE) $(COQVO2XML) $(FULLBINDIR)
+	cp $(COQDEP) $(GALLINA) $(COQMAKEFILE) $(COQTEX) $(COQWC) $(COQINTERFACE) $(COQVO2XML) $(FULLBINDIR)
 
 install-ide-no:
 
-- 
cgit v1.2.3