-doc/ivme04.pdf: doc/ivme04.tex doc/acmconf.cls $(charts:%.dat=%.pdf)
- cd doc; pdflatex ivme04.tex && ./pst2pdf && pdflatex ivme04.tex
+doc/ivme04.pdf: doc/ivme04.tex doc/acmconf.cls $(charts:%.dat=%.pdf) build/tests/TeX.class
+ cp upstream/build/tex/tex.pool upstream/build/tex/texinputs/tex.pool
+ cd upstream/build/tex/texinputs && echo '\latex.ltx' | java -cp $(build) tests.TeX
+ cd upstream/build/tex/texinputs && ln -fs ../../../../doc/* .; rm -f ivme04.aux; touch ivme04.aux; touch ivme04.bbl
+ cd upstream/build/tex/texinputs && echo '\&latex \input ivme04.tex' | java -cp $(build) tests.TeX
+ cd upstream/build/tex/texinputs && dvipdf ivme04.dvi
+ cp upstream/build/tex/texinputs/ivme04.pdf $@