try to fix PDF missing unicode char

This commit is contained in:
Yann Esposito (Yogsototh) 2020-11-22 11:16:06 +01:00
parent 5de898d7a2
commit f1dc320648
Signed by untrusted user who does not match committer: yogsototh
GPG key ID: 7B19A4C650D59646

View file

@ -365,6 +365,7 @@ genPdfAction _getPost out = do
, srcFile
, "-H", "engine" </> "deeplist.tex"
, "-V", "mainfont:Hoefler Text"
, "-V", "mainfontoptions:Renderer=OpenType, Mapping=tex-text, ItalicFeatures={Alternate = 0}, Ligatures={Common,Rare,Historic,Contextual},Contextuals=Inner,Alternate=1"
, "-V", "monofont:Menlo"
, "-V", "monofontoptions:Scale=0.7"
, "-o", out ]