Fix PDF doctree

Readthedocs will now generate the doctree in PDF format