There will be 3 “export pages” - Manual, Tutorials, Reference. Or maybe we will join them into single one. It is possible to export any set of pages.
There are few extensions for that task, we’re using PdfBook. Unfortunately, there are lot of problems with pdf export.
First, it is VERY resource-consuming process for large wikis. We can’t afford to run it on the main production server. That’s why I’m running export procedure on local mirror, which is exact copy of synfig.org.
Second, it needs htmldoc installed on your server. Current versions of htmldoc have problems with multibyte symbols and as result you will be unable to use utf-8. If your wiki is in single language, then that’s not a problem - just specify proper charset. For synfig wiki that’s not true and we need utf-8. Looks like that problem is solved on recent beta of htmldoc, but again it’s not likely to expect BETAS installed on production servers. I plan to install latest htmldoc on local mirror server to get transparent pdf export. Currently I’m using PdfBook to output desired wiki pages into single html page and after that using OpenOffice to convert it to pdf. That’s it.
If your wiki is not using custom templates based on string functions, then consider using mediawiki.org/wiki/Extension:Pdf_Export as more versatile solution. It uses third-party server to do conversion, thus don’t require additional software on your server and have no significant impact on performance.