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