1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index cf254a4fa1..33d5bc5460 100644
--- a/Makefile
+++ b/Makefile
@@ -680,7 +680,7 @@ install-library:
 	$(MKDIR) $(FULLCOQLIB)/states
 	cp states/*.coq $(FULLCOQLIB)/states
 	$(MKDIR) $(FULLEMACSLIB)
-	cp tools/coq.el $(FULLEMACSLIB)
+	cp tools/coq.el tools/coq-inferior.el $(FULLEMACSLIB)
 
 MANPAGES=man/coq-tex.1 man/coqdep.1 man/gallina.1 \
 	man/coqc.1 man/coqtop.1 man/coqtop.byte.1 man/coqtop.opt.1 \