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