1#!/bin/bash
2
3PDFLATEX='@PDFLATEX_COMPILER@'
4[ -z "$PDFLATEX" ] || export PATH="$(dirname "$PDFLATEX"):$PATH"
5
6wd="$PWD"
7while [ $# -gt 0 ]; do
8  case $1 in
9    -C) wd="$2"; shift; ;;
10    *) echo "Invalid argument: $1" > 1&2; exit 1; ;;
11  esac
12  shift
13done
14
15cd $wd && make
16