| # usage: build.sh 0301-curry-howard "0301 - Curry-Howard" (run from anywhere) | |
| set -e | |
| source /apps/paper-tools/env.sh >/dev/null 2>&1 | |
| cd "$(dirname "$0")" | |
| mkdir -p build | |
| TEXINPUTS=".:" latexmk -g -pdf -interaction=nonstopmode -halt-on-error -outdir=build "$1.tex" >build/"$1".console.log 2>&1 || { tail -40 build/"$1".console.log; exit 1; } | |
| cp build/"$1.pdf" "../$2.pdf" | |
| echo "built ../$2.pdf" | |