From d8766e114e73d931818db711b0cf95a98795545f Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Thu, 28 Apr 2011 19:06:00 +0200
Subject: [PATCH] add cleanup-latex from steven armstrong

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
---
 cleanup-latex | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100755 cleanup-latex

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}