Build with -shell-escape in the CI as well

0xd34df00d · Dec 25, 2020 · 15d7817 · 15d7817
1 parent 40f5dda
commit 15d7817
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/tex/build.sh b/tex/build.sh
@@ -1,8 +1,8 @@
 #! /bin/sh
 
 ott -tex_wrap false -i common.ott -i surface.ott -i core.ott -i translation.ott -o surface.ott.tex -tex_filter paper.mng paper.tex
-pdflatex paper.tex
+pdflatex -shell-escape paper.tex
 bibtex paper.aux
-pdflatex paper.tex
-pdflatex paper.tex
+pdflatex -shell-escape paper.tex
+pdflatex -shell-escape paper.tex
 exit 0