If inside github actions fix opendyslexic font

Signed-off-by: Marcello Seri <[email protected]>
mseri · Sep 5, 2024 · 3757c61 · 3757c61
1 parent 7fd3799
commit 3757c61
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/compile.sh b/compile.sh
@@ -1,5 +1,8 @@
 #!/bin/env bash
 
+if [ -n "$CI" ] || [ -n "$GITHUB_RUN_ID" ]; then
+  sudo rm -rf /usr/share/fonts/woff/opendyslexic
+fi
 lualatex --interaction=nonstopmode hm.tex
 bibtex hm
 makeindex hm