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