Hey, I am trying to generate a PDF version of my Docbook. This document includes lots of text, but also several figures. In order to make those figures look sharp in the PDF output file, the figures are also included as PDF format. This works perfectly fine, when I am generating HTML output, but whe...