We should consider switching to MkDocs for a more modern setup. I conducted a small test, and the transition is quite straightforward. You can check it out here: [https://github.com/fdiblen/mkdocs-pdf](https://github.com/fdiblen/mkdocs-pdf)