From 065435cdce609604e33b879b9be3e81ab89f3e7b Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Wed, 16 Nov 2022 18:08:25 -0300 Subject: Makefile: Use install-info(1) to make sure the "dir" file is updated --- Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Makefile b/Makefile index 2872173..96e726d 100644 --- a/Makefile +++ b/Makefile @@ -51,6 +51,7 @@ install: all done for i in $(info); do \ cp $$i '$(DESTDIR)$(INFODIR)'; \ + install-info --info-dir='$(DESTDIR)$(INFODIR)' $$i; \ done uninstall: @@ -62,6 +63,7 @@ uninstall: done for i in $(info); do \ rm -f "$(DESTDIR)$(INFODIR)"/`basename $$i`; \ + install-info --info-dir='$(DESTDIR)$(INFODIR)' --remove $$i; \ done -- cgit v1.2.3