2 infodir ?= $(prefix)/share/info
6 INSTALL-INFO := install-info
8 .PHONY: install-info uninstall-info
10 install-info: yacasl2.info
11 $(INSTALL) -d $(infodir)
12 $(INSTALL) $< $(infodir)/
13 $(INSTALL-INFO) $(infodir)/$< $(infodir)/dir
14 $(GZIP) -f $(infodir)/$<
17 $(INSTALL-INFO) --delete $(addprefix $(infodir)/,$(TARGETS)) $(infodir)/dir
18 $(RM) $(addprefix $(infodir)/,$(TARGETS))