Skip to content

Various issues with the PDF export #897

Description

@MakisH

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:

  • The copyright statement is incomplete, only pointing to the core library -> Expanded in Improvements to the PDF archive #899
  • The "Community" and "About" pages are not incorporated (do we even want that?). Links to these appear as "page 0". From the "Community", we could add the contributing/guidelines pages, and the "About" would be interesting as well.

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.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions