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