chg: generate es pdfs

2023-03-02 10:48:23 +01:00 · 2023-03-02 10:48:23 +01:00 · 55b1f3b611
parent f835038b55
commit 55b1f3b611
3 changed files with 7 additions and 1 deletions
--- a/build.sh
+++ b/build.sh
@ -13,7 +13,9 @@ for slide in ${slidedecks[@]}; do
        cd ${slide}
        if test -f "slide_nl.tex"; then
                pdflatex slide_nl.tex
-                pdflatex slide_nl.tex
+        fi
+        if test -f "slide_es.tex"; then
+                pdflatex slide_es.tex
        fi
        pdflatex slide.tex
        pdflatex slide.tex
@ -30,6 +32,10 @@ for slide in ${slidedecks[@]}; do
                cp slide_nl.pdf ../output/${slide}_nl.pdf
                rm slide_nl.pdf
        fi
+        if test -f "slide_es.tex"; then
+                cp slide_es.pdf ../output/${slide}_es.pdf
+                rm slide_es.pdf
+        fi
        cd ..
        echo "--- Finished building ${slide}"
 done
--- a/output/0-intro-shorter_es.pdf
+++ b/output/0-intro-shorter_es.pdf
--- a/output/1-misp-usage_es.pdf
+++ b/output/1-misp-usage_es.pdf