diff --git a/compile.sh b/compile.sh index 8547319..a43f970 100755 --- 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