diff --git a/cleanup-latex b/cleanup-latex new file mode 100755 index 0000000..602fc7c --- /dev/null +++ b/cleanup-latex @@ -0,0 +1,14 @@ +#!/bin/bash + +DIR="${1}" + +[ -z "${DIR}" ] && DIR="${PWD}" + +DIR="${DIR%/}" + +if ! [ -d "${DIR}" ]; then + echo "cannot access ${DIR}: No such file or directory" >&2 + exit 1 +fi + +rm "${DIR}"/*.{aux,nav,out,toc,snm,log}