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