aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.build
diff options
context:
space:
mode:
authorGravatar Pierre Boutillier <pierre.boutillier@ens-lyon.org>2013-12-17 18:26:48 +0100
committerGravatar Pierre Boutillier <pierre.boutillier@ens-lyon.org>2013-12-17 18:27:02 +0100
commit30b58d43e48569afb50a35d3915ec7d453a61f5d (patch)
tree246891f764f24fe704fe9bb8a093da91adf788a1 /Makefile.build
parent5080f91a191aa08bf29790addb5b8614ba8323a8 (diff)
Attempt to adapt .el files too. doc/refman/RefMan-uti.tex has still to be fixed.
Diffstat (limited to 'Makefile.build')
-rw-r--r--Makefile.build2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.build b/Makefile.build
index 3ebf79845..563c35595 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -667,7 +667,7 @@ install-coq-manpages:
install-emacs:
$(MKDIR) $(FULLEMACSLIB)
- $(INSTALLLIB) tools/coq-db.el tools/coq-font-lock.el tools/coq-syntax.el tools/coq.el tools/coq-inferior.el $(FULLEMACSLIB)
+ $(INSTALLLIB) tools/gallina-db.el tools/coq-font-lock.el tools/gallina-syntax.el tools/gallina.el tools/coq-inferior.el $(FULLEMACSLIB)
# command to update TeX' kpathsea database
#UPDATETEX = $(MKTEXLSR) /usr/share/texmf /var/spool/texmf $(BASETEXDIR) > /dev/null