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