2011-04-28 17:07:29 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
# Steven Armstrong
|
|
|
|
|
# Nico Schottelius
|
|
|
|
|
#
|
2011-04-28 17:06:00 +00:00
|
|
|
|
2011-04-30 19:17:16 +00:00
|
|
|
set -e
|
|
|
|
|
|
2011-04-28 17:07:29 +00:00
|
|
|
DIR="$1"
|
2011-04-28 17:06:00 +00:00
|
|
|
|
|
|
|
|
[ -z "${DIR}" ] && DIR="${PWD}"
|
|
|
|
|
|
|
|
|
|
DIR="${DIR%/}"
|
|
|
|
|
|
|
|
|
|
if ! [ -d "${DIR}" ]; then
|
|
|
|
|
echo "cannot access ${DIR}: No such file or directory" >&2
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
2011-04-30 19:17:16 +00:00
|
|
|
cd "${DIR}"
|
|
|
|
|
rm -f *.aux *.nav *.out *.toc *.snm *.log *.vrb
|
