Marked Sphinx-generated PDF files as optional installs