echo "Begin "$1;
echo "First tex...."
latex $1".tex" 1>/dev/null;
echo "Second tex...."
latex $1".tex" 1>/dev/null;
echo "Dvitops..."
dvips $1".dvi";
echo "pstopdf...."
ps2pdf13 $1".ps";
echo "done";