echo "Creating tex -> dvi"
latex.exe gorokhov.tex
echo "Creating dvi -> ps"
Dvips.exe gorokhov.dvi
echo "Creating ps -> pdf"
ps2pdf gorokhov.ps