diff options
author | EuAndreh <eu@euandre.org> | 2022-11-16 18:08:25 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2022-11-16 18:08:25 -0300 |
commit | 065435cdce609604e33b879b9be3e81ab89f3e7b (patch) | |
tree | f7d896316a06d791813664fb8e5d3a4db7a97e10 | |
parent | Makefile: Define $(INFODIR) based on $(SHAREDIR) (diff) | |
download | guile-heredoc-main.tar.gz guile-heredoc-main.tar.xz |
-rw-r--r-- | Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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 |