Modify typeset.sh to generate pdf file in current directory, so it can be committed.