From 167542532bea243ef0146480368654613bda631c Mon Sep 17 00:00:00 2001
From: bertot
Date: Thu, 19 Apr 2001 00:46:59 +0000
Subject: make sure the binaries needed for the graphical interface will also
 be installed.

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

diff --git a/Makefile b/Makefile
index c6169663cb..7e7d0b1b2c 100644
--- a/Makefile
+++ b/Makefile
@@ -567,7 +567,7 @@ install-opt:
 
 install-binaries:
 	$(MKDIR) $(FULLBINDIR)
-	cp $(COQDEP) $(GALLINA) $(COQMAKEFILE) $(COQTEX) $(FULLBINDIR)
+	cp $(COQDEP) $(GALLINA) $(COQMAKEFILE) $(COQTEX) $(COQINTERFACE) $(FULLBINDIR)
 
 LIBFILES=$(INITVO) $(TACTICSVO) $(THEORIESVO) $(CONTRIBVO)
 
-- 
cgit v1.2.3