Minsk: make clean

diff --git a/Makefile b/Makefile
index fb4ef7ba49563dd21e099d592e5ab134704e6457..3ba909aa4a80b1ef52f2deac976c35fcb940bcd2 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -6,3 +6,4 @@ all: minsk
 
 clean:
        rm -f `find . -name "*~" -or -name "*.[oa]" -or -name core -or -name .depend -or -name .#*`
+       rm -f minsk