Some issues with the current PDF export (as of May 2026 and while reviewing #734):
Many of these issues would be easy to fix. Most of the relevant files are in the pdfconfigs folder. PRs are welcome, but please keep them small (one per aspect).
Besides the above, some issues that would require discussion in the team:
Note to self: On my system, I am building the container with jekyll serve --config _config.yml,pdfconfigs/config_docs_pdf.yml in one terminal, and calling Prince from my host (already installed) with prince --javascript --input-list=_site/pdfconfigs/prince-list.txt -o pdf/docs.pdf.
A local build of the PDF, for reference: May 15, 2026.
Some issues with the current PDF export (as of May 2026 and while reviewing #734):
Many of these issues would be easy to fix. Most of the relevant files are in the
pdfconfigsfolder. PRs are welcome, but please keep them small (one per aspect).Besides the above, some issues that would require discussion in the team:
Note to self: On my system, I am building the container with
jekyll serve --config _config.yml,pdfconfigs/config_docs_pdf.ymlin one terminal, and calling Prince from my host (already installed) withprince --javascript --input-list=_site/pdfconfigs/prince-list.txt -o pdf/docs.pdf.A local build of the PDF, for reference: May 15, 2026.