Making a PDF is trivially easy. Makin a PDF that doesn't look bad is more work. Our help system outputs to PDF, but uses a template to generate the look and layout. We simply don't have the template as we have never needed one. So we basically have to pick one, modify it, and then do a bunch of test output / refinement steps so that you are happy with the result. I'll create one temporarily and post it here. It may not be the prettiest, but it should get the job done.