[Bug 1486891] Provide documentation as pdf

https://bugzilla.redhat.com/show_bug.cgi?id=1486891

--- Comment #1 from Pete Travis  ---
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