use pdflatex to generate docs, woohoo!