Closed jeroen closed 3 months ago
Agree on this. The HTML documentation is a far better user experience anyways. (Landed here as I currently have source build failing solely because it cannot render the PDF due to LaTeX errors - for reference: https://github.com/r-universe/roaldarbol/actions/runs/7879432188/job/21499673403)
Using the xelatex
fixes the issue, however it is very slow. So maybe we can only fall back on it if regular pdflatex fails.
PDF manuals fail to build if a help page contains utf-8 characters for which it doesn't have a fond?
Is there a way for latex to just replace this with a tofu?
Piggyback fails with:
Which seems to be inserted by cli here
And
gt
fails with:In the case of
gt
it seems to beLatex is such a headache. We have html manuals now, maybe let's just get rid of the pdf ones?