1 files changed, 5 insertions, 0 deletions
diff --git a/clean.do b/clean.do
new file mode 100644
index 0000000..b30f907
--- /dev/null
+++ b/clean.do
@@ -0,0 +1,5 @@
+. ./config.rc
+redo bin/clean src/clean
+redo_clean
+rm -f "cpt-$VERSION.tar.xz"
+find docs -name '*.info' -exec rm -f -- {} +