The PDF document is fully generated, but managed as a source file. We should treat the PDF the same way as the HTML site. This means provide the generated stuff on the gh-pages branch only.

Making the PDF document accessible from the HTML site would simplify the version specific access.