diff options
| author | Vincenzo Pupillo <v.pupillo@gmail.com> | 2024-03-05 22:36:34 +0100 |
|---|---|---|
| committer | Andrea Corallo <acorallo@gnu.org> | 2024-03-05 22:37:40 +0100 |
| commit | d5f11e890c598cd2e15cb2fd93e604ed100ce355 (patch) | |
| tree | 61dbe6048922000b6cba6a68d9452b4caa6dbd42 | |
| parent | 33976ecf244082346cbc71ff1102ef7de1ed36fe (diff) | |
* Makefile.in (install-info): Fix target (bug#69569).
| -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 done; \ (cd "$${thisdir}"; \ ${INSTALL_INFO} --info-dir="$(DESTDIR)${infodir}" "$(DESTDIR)${infodir}/$$elt"); \ - cp type_hierarchy* $(DESTDIR)${infodir}/; \ # Used by elisp.info. + cp type_hierarchy* $(DESTDIR)${infodir}/; \ done; \ fi |