Check for doxygen/pdflatex in autoconf