diff options
-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 |