summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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