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