#/bin/sh
cp *.pdf /tmp
make -k "$@"
cp *.pdf /tmp
