summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEuAndreh <eu@euandre.org>2022-11-16 18:08:25 -0300
committerEuAndreh <eu@euandre.org>2022-11-16 18:08:25 -0300
commit065435cdce609604e33b879b9be3e81ab89f3e7b (patch)
treef7d896316a06d791813664fb8e5d3a4db7a97e10
parentMakefile: Define $(INFODIR) based on $(SHAREDIR) (diff)
downloadguile-heredoc-main.tar.gz
guile-heredoc-main.tar.xz
Makefile: Use install-info(1) to make sure the "dir" file is updatedHEADmain
-rw-r--r--Makefile2
1 files changed, 2 insertions, 0 deletions
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