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