-.PHONY: all info html htmls pdf install-info uninstall-info clean clean-textmp
-
-.INTERMEDIATE: *.dvi
-
-base: ../INSTALL $(MANUAL_SYSINFO) $(MANUAL).html
-
-all: info html htmls pdf ../INSTALL $(MANUAL_SYSINFO)
-
-info: $(MANUAL_SYSINFO) $(INSTALLDOC).info
-
-html: $(MANUAL).html $(INSTALLDOC).html