-%.pdf: %.dvi
- $(DVI2PDF) $<
-
-%.dvi: %.texi
- TEX=$(PTEX) $(TEXI2DVI) -q --texinfo=@afourpaper -o $@ $<
- @$(MAKE) clean-textmp
-
-%.txt: %.texi
- $(MAKEINFO) --no-headers --disable-encoding -o $@ $<
-
-install-info: $(MANUAL_SYSINFO)
- $(INSTALL) -d $(infodir)
- $(INSTALL) $(MANUAL_SYSINFO) $(infodir)/
- $(INSTALL-INFO) $(infodir)/$(MANUAL_SYSINFO) $(infodir)/dir
- $(GZIP) -f $(infodir)/$(MANUAL_SYSINFO)
-
-uninstall-info: $(MANUAL).info
- $(INSTALL-INFO) --delete $(infodir)/$(MANUAL_SYSINFO) $(infodir)/dir
- $(RMF) $(infodir)/$(MANUAL_SYSINFO)*
-
-$(INSTALLDOC).html: $(INSTALLDOC).texi $(CSS)
- $(MAKEINFO) -o $@ --no-split --html --css-include=$(CSS) $<
-
-../INSTALL: $(INSTALLDOC).txt
- $(CP) $< $@
-
-clean: clean-textmp
- @$(RMRF) *_html *.info *.html *.pdf *.dvi *.txt
-
-clean-textmp:
- @$(RMF) *.aux *.cp *.cps *.fn *.ky *.log *.pg *.pgs *.tmp *.toc *.tp *.vr