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