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