Fix PDF documentation

Hello !
This patch fixes the documentation generation.