#
latex doignon40
latex doignon40
dvips -z doignon40.dvi > doignon40.ps
dvips -z -Ppdf -o tmp.ps doignon40.dvi
ps2pdf tmp.ps doignon40.pdf
/bin/rm tmp.ps