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