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