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