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