PDFs are generated by Sphinx