aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Makefile.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in
index d54583399d0..6f014909307 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -812,7 +812,7 @@ install-info: info
812 done; \ 812 done; \
813 (cd "$${thisdir}"; \ 813 (cd "$${thisdir}"; \
814 ${INSTALL_INFO} --info-dir="$(DESTDIR)${infodir}" "$(DESTDIR)${infodir}/$$elt"); \ 814 ${INSTALL_INFO} --info-dir="$(DESTDIR)${infodir}" "$(DESTDIR)${infodir}/$$elt"); \
815 cp type_hierarchy* $(DESTDIR)${infodir}/; \ # Used by elisp.info. 815 cp type_hierarchy* $(DESTDIR)${infodir}/; \
816 done; \ 816 done; \
817 fi 817 fi
818 818