The documentation is written in Scribble, another Racket language, and Scribble does allow for PDF output. You can easily produce a PDF version if you have Rack

The documentation is written in Scribble, another Racket language, and Scribble does allow for PDF output. You can easily produce a PDF version if you have Racket installed. It probably wouldn't offer enough usability improvements over the web version to justify hosting a separate PDF version online. More generally though, although you can make printed books with Pollen, they are not a core part of Pollen's value proposition. Pollen was created specifically so that books published on the web could be done well. The very first sentence of the documentation says "Pollen is a publishing system that helps authors make functional and beautiful digital books."