From cf5c43cc965ac9c2143005f7c08433f246254298 Mon Sep 17 00:00:00 2001 From: Gaëtan Gilbert Date: Sun, 19 Nov 2017 16:41:35 +0100 Subject: Rename coq-inferior.el -> inferior-coq.el to match provided feature. Fixes #4988. --- Makefile.install | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile.install') diff --git a/Makefile.install b/Makefile.install index 55229deb9..b590aad54 100644 --- a/Makefile.install +++ b/Makefile.install @@ -144,7 +144,7 @@ install-coq-manpages: install-emacs: $(MKDIR) $(FULLEMACSLIB) - $(INSTALLLIB) tools/gallina-db.el tools/coq-font-lock.el tools/gallina-syntax.el tools/gallina.el tools/coq-inferior.el $(FULLEMACSLIB) + $(INSTALLLIB) tools/gallina-db.el tools/coq-font-lock.el tools/gallina-syntax.el tools/gallina.el tools/inferior-coq.el $(FULLEMACSLIB) # command to update TeX' kpathsea database #UPDATETEX = $(MKTEXLSR) /usr/share/texmf /var/spool/texmf $(BASETEXDIR) > /dev/null -- cgit v1.2.3