* Try to fix PDF
Merge pull request #1125 from titilambert/master

Fix PDF doctree