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