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