From f1dc320648c378c42c2ffde10d6e8ac836a4d0de Mon Sep 17 00:00:00 2001
From: "Yann Esposito (Yogsototh)" <yann.esposito@gmail.com>
Date: Sun, 22 Nov 2020 11:16:06 +0100
Subject: [PATCH] try to fix PDF missing unicode char

---
 Shakefile.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Shakefile.hs b/Shakefile.hs
index b9370d6..6ab46f1 100644
--- a/Shakefile.hs
+++ b/Shakefile.hs
@@ -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 ]