1 files changed, 2 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index cd7108ea76..be3a3e1a13 100644
--- a/Makefile
+++ b/Makefile
@@ -1041,6 +1041,8 @@ install-binaries: install-ide-$(HASCOQIDE)
 	$(MKDIR) $(FULLBINDIR)
 	cp $(COQDEP) $(GALLINA) $(COQMAKEFILE) $(COQTEX) $(COQWC) $(COQINTERFACE) $(COQVO2XML) $(FULLBINDIR)
 
+install-ide: install-ide-$(HASCOQIDE)
+
 install-ide-no:
 
 install-ide-byte: