To generate both the user manual and the tutorial, use pdflatex. 