Fix manual: pdflatex detection and finding (fixes #183).