Only build manual if pdflatex is found on the system