diff --git a/Makefile.in b/Makefile.in index 5f3227a9ad5..e7fc19e6494 100644 --- a/Makefile.in +++ b/Makefile.in @@ -812,6 +812,7 @@ install-info: info done; \ (cd "$${thisdir}"; \ ${INSTALL_INFO} --info-dir="$(DESTDIR)${infodir}" "$(DESTDIR)${infodir}/$$elt"); \ + cp type_hierarchy* $(DESTDIR)${infodir}/; \ # Used by elisp.info. done; \ fi