+ @$(MAKE) clean-textmp
+
+$(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