diff options
Diffstat (limited to 'clean.do')
| -rw-r--r-- | clean.do | 5 |
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 -- {} + |