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