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