-.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
-
-htmls: $(MANUAL)_html
-
-pdf: $(INSTALLDOC).pdf $(MANUAL).pdf
-
-$(MANUAL_SYSINFO): $(MANUAL).info
- $(CP) $< $@
- $(SED) -i -e "s/@setfilename manual/@setfilename $(MANUAL_SYSINFO)/" $@