#!/bin/sh

if [ $# = 0 ]; then
  echo "Usage: $0 <file.tex>"
  exit 1
fi

NAME=$(basename $1 .tex)
PDF=$NAME.pdf
pdflatex Figures/$NAME.tex
pdfcrop $PDF
/bin/mv -f $NAME-crop.pdf $PDF