A shell script to compile a LaTeX file