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