#!/bin/bash+
−
set -euo pipefail+
−
+
−
fls=${1:-"core_cw01.tex core_cw02.tex core_cw03.tex main_cw01.tex main_cw02.tex main_cw03.tex main_cw04.tex main_cw05.tex resit.tex"} +
−
+
−
for f in $fls; do+
−
    echo -e "making $f"+
−
    xelatex $f+
−
    mv "${f%.tex}.pdf" tmp.pdf+
−
    gs -o "${f%.tex}.pdf" -dNoOutputFonts -sDEVICE=pdfwrite tmp.pdf +
−
done    +
−
+
−
+
−
# prevent PDF from being copied+
−
###  gs -o "${f%.tex}.pdf" -dNoOutputFonts -sDEVICE=pdfwrite tmp.pdf +
−