Turn off doc build if PdfLaTex is not available