aboutsummaryrefslogtreecommitdiff
path: root/clean.do
diff options
context:
space:
mode:
Diffstat (limited to 'clean.do')
-rw-r--r--clean.do5
1 files changed, 5 insertions, 0 deletions
diff --git a/clean.do b/clean.do
new file mode 100644
index 0000000..389daf3
--- /dev/null
+++ b/clean.do
@@ -0,0 +1,5 @@
+. ./config.rc
+redo bin/clean
+redo_clean
+rm -f "cpt-$VERSION.tar.xz"
+find doc -name '*.info' -exec rm -f -- {} +