penguinolog / urwid / 42787857294

94%

push

github

Build the documentation as a PDF with LuaLaTeX (#1618)

The HTML output is unchanged; the PDF comes from the same sources.

- docs/conf.py uses LuaLaTeX with a font fallback chain for the box-drawing,
  CJK, emoji and symbol characters the documentation contains.
- docs/tools/build_pdf.sh builds build/pdf/latex/Urwid.pdf and fails on a
  Sphinx warning or a character no font in the chain has.
- The docs-pdf stage of .devcontainer/dev.dockerfile and its devcontainer
  config give a local environment for it; the default devcontainer now
  selects the dev stage.
- The Documentation PDF workflow builds it on a manual trigger only, since a
  full TeX Live install is too slow for every push, and uploads the
  documentation-pdf artifact.

| what | from | to |
| --- | --- | --- |
| documentation-pdf.yml | absent | workflow_dispatch, ubuntu-26.04 |

6926 of 7592 branches covered (91.23%)

Branch coverage included in aggregate %.

17869 of 18908 relevant lines covered (94.5%)

14.99 hits per line