Add PDF file to documentation. Include documentation generation in a specific profile linked to release process