#
latex toth25.tex
latex toth25.tex
dvips -z toth25.dvi > toth25.ps
dvips -z -Ppdf -o tmp.ps toth25.dvi
ps2pdf tmp.ps toth25.pdf
/bin/rm tmp.ps
chmod og+r *