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