]> www.ginac.de Git - ginac.git/commit
[DOC] Fix build of reference.pdf.
authorRichard Kreckel <kreckel@ginac.de>
Sat, 11 Feb 2023 23:09:48 +0000 (00:09 +0100)
committerRichard Kreckel <kreckel@ginac.de>
Sat, 11 Feb 2023 23:20:05 +0000 (00:20 +0100)
commite8bd7a51450cc03faf0225ac4850d925c51275b2
treedea63ab4fdb78edb41747ddd8899eff39bce535f
parent5a12b12b8d65bf684dcebacf411ee2d5000c8104
[DOC] Fix build of reference.pdf.

This is obnoxious: It is 2023, the ≥ character is in Unicode since
1993, and UTF-8 is ubiquitous. Yet, pdfLaTeX balks at this.

Maybe the right fix would be to switch to LuaLaTeX. Alas, that doesn't
seem to have reached the necessary maturity yet:
<https://tug.org/pipermail/luatex/2023-February/007799.html>
ginac/numeric.cpp