From d5f11e890c598cd2e15cb2fd93e604ed100ce355 Mon Sep 17 00:00:00 2001 From: Vincenzo Pupillo Date: Tue, 5 Mar 2024 22:36:34 +0100 Subject: [PATCH] * Makefile.in (install-info): Fix target (bug#69569). --- Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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