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