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