For PDF documentation, use dblatex instead of pdfjadetex