--- /dev/null
+prefix ?= ~
+infodir ?= $(prefix)/share/info
+
+GZIP := gzip
+INSTALL := install
+INSTALL-INFO := install-info
+
+.PHONY: install-info uninstall-info
+
+install-info: yacasl2.info
+ $(INSTALL) -d $(infodir)
+ $(INSTALL) $< $(infodir)/
+ $(INSTALL-INFO) $(infodir)/$< $(infodir)/dir
+ $(GZIP) -f $(infodir)/$<
+
+uninstall-info:
+ $(INSTALL-INFO) --delete $(addprefix $(infodir)/,$(TARGETS)) $(infodir)/dir
+ $(RM) $(addprefix $(infodir)/,$(TARGETS))