1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/clean b/scripts/clean
new file mode 100755
index 0000000..9d2747f
--- /dev/null
+++ b/scripts/clean
@@ -0,0 +1,5 @@
+#!/bin/sh
+rm *.a*
+rm *.g*
+rm *.ist
+rm *.tex