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