-clean:
- @rm -rf html $(DOCNAME).info $(DOCNAME).pdf $(DOCNAME).html $(DOCNAME).dvi
- @rm -rf $(DOCNAME).aux $(DOCNAME).cp $(DOCNAME).cps $(DOCNAME).fn $(DOCNAME).ky $(DOCNAME).log $(DOCNAME).pg $(DOCNAME).pgs $(DOCNAME).tmp $(DOCNAME).toc $(DOCNAME).tp $(DOCNAME).vr
+$(MANUAL).txt: $(MANUALSRC)
+ $(MAKEINFO) --no-headers --disable-encoding -o $@ $(MANUALSRC)
+
+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