#!/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