From 33021618a06a94563d28691940f02a55bd9d358d Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Sat, 16 May 2020 17:07:37 +0200
Subject: Move CoqIDE to its own folder

The will make it possible to put a VsCoq toplevel in `ide/vscoq`.
---
 Makefile.install | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Makefile.install')

diff --git a/Makefile.install b/Makefile.install
index cc0888d8e4..4977bb38e1 100644
--- a/Makefile.install
+++ b/Makefile.install
@@ -91,12 +91,12 @@ install-tools:
 # - the ones corresponding to packed plugins
 
 INSTALLCMI = $(sort \
-	$(filter-out checker/% ide/% tools/%, $(MLIFILES:.mli=.cmi)) \
+	$(filter-out checker/% ide/coqide/% tools/%, $(MLIFILES:.mli=.cmi)) \
 	$(GRAMMLIFILES:.mli=.cmi) gramlib/.pack/gramlib.cmi \
 	$(foreach lib,$(CORECMA), $(addsuffix .cmi,$($(lib:.cma=_MLLIB_DEPENDENCIES))))) \
 	$(PLUGINS:.cmo=.cmi)
 
-INSTALLCMX = $(sort $(filter-out checker/% ide/% tools/% dev/% \
+INSTALLCMX = $(sort $(filter-out checker/% ide/coqide/% tools/% dev/% \
 	configure.cmx toplevel/coqtop_byte_bin.cmx plugins/extraction/big.cmx, \
 	$(GRAMMLFILES:.ml=.cmx) $(MLFILES:.ml=.cmx)))
 
-- 
cgit v1.2.3