# HG changeset patch # User Franz Glasner # Date 1778883762 -7200 # Node ID b60d719f7cde7f4ee09b50e5447e08acd8db7f62 # Parent c4e8c7010ca0f575992777d188eeaf3ee95a07d5 FIX: Package newunicodechar is required for augmenting diff -r c4e8c7010ca0 -r b60d719f7cde docs/_latex/my-doc-fonts.sty --- a/docs/_latex/my-doc-fonts.sty Sat May 16 00:20:58 2026 +0200 +++ b/docs/_latex/my-doc-fonts.sty Sat May 16 00:22:42 2026 +0200 @@ -373,6 +373,7 @@ \fi \if@mdf@augment@libertinusmono + \RequirePackage{newunicodechar} \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[% UprightFont = *, BoldFont = * Bold,