In order to solve this issue 1. the sphinx configuration in the main phpDocumentor repository should be altered to also allow generation of PDF documents 2. the Ansible release script needs to include generation a PDF 3. A link should be added from the generated documentation to the PDF
In order to solve this issue