https://bugzilla.redhat.com/show_bug.cgi?id=1486891
--- Comment #1 from Pete Travis me@petetravis.com --- Hello Jakob,
We have recently changed both the source markup of the content and the tools used to generate html from that content. Our current publishing process does not produce PDFs.
You are correct that tools exist that would produce a PDF, however it would be non-trivial to adapt our new build tools to build PDFs, and present links for them. This feature is not currently on the roadmap, we have many other things to work on first.
The sources for the documentation are indexed at https://pagure.io/group/fedora-docs, you are welcome to produce PDFs from them.
-- Pete