#!/usr/bin/env bash
# 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"