-.PHONY: all info html install-info uninstall-info clean clean-manual clean-installdoc clean-textmp
-
-.INTERMEDIATE: $(MANUAL).dvi
-
-all: info html $(MANUAL).pdf ../INSTALL
-
-info: $(MANUALINFO)
-
-$(MANUALINFO): $(MANUALSRC)
- $(MAKEINFO) -o $(MANUALINFO) $(MANUALSRC)