-install-info: $(MANUAL).info
- $(INSTALL) -d $(infodir)
- $(INSTALL) $(MANUALINFO) $(infodir)/
- $(INSTALL-INFO) $(infodir)/$(MANUALINFO) $(infodir)/dir
- $(GZIP) -f $(infodir)/$(MANUALINFO)
-
-uninstall-info: $(MANUAL).info
- $(INSTALL-INFO) --delete $(infodir)/$(MANUAL) $(infodir)/dir
- $(RM) $(infodir)/$(MANUAL)*
-
-$(INSTALLDOC).html: $(INSTALLDOCSRC) $(CSS)
- $(MAKEINFO) -o $@ --no-split --html --css-include=$(CSS) $<
-
-../INSTALL: $(INSTALLDOCSRC)
- $(MAKEINFO) -o $@ --no-headers --disable-encoding $<
-
-clean: clean-manual clean-installdoc clean-textmp
-
-clean-manual:
- @$(RMRF) html $(MANUALHTMLDIR) $(MANUAL).info $(MANUAL).pdf $(MANUAL).html $(MANUAL).txt
-
-clean-textmp:
- @$(RMRF) $(MANUAL).aux $(MANUAL).cp $(MANUAL).cps $(MANUAL).fn $(MANUAL).ky $(MANUAL).log $(MANUAL).pg $(MANUAL).pgs $(MANUAL).tmp $(MANUAL).toc $(MANUAL).tp $(MANUAL).vr
-
-clean-installdoc:
- @$(RMRF) install.html ../INSTALL