update doxygen configuration to produce a PDF