No, there isn't. Currently the docs are made in static HTML, which would make that difficult.
The new docs system (which is currently being developed) will use a more book-like structure, and text written in markdown, which would make it a lot easier to generate a pdf from it.
I'll keep this in mind for the future.
Donate
