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