diff options
| -rw-r--r-- | Makefile.in | 2 |
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 | ||