- jade -E14 -D $(srcdir) -d common/print.dsl -t tex $(srcdir)/common/xml.dcl $(MAINXML)
- rm -f metaproxy.tex
- mv book.tex metaproxy.tex
- pdfjadetex metaproxy.tex >/dev/null
- pdfjadetex metaproxy.tex >/dev/null
- pdfjadetex metaproxy.tex >/dev/null