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