Clean up core files, too.

diff --git a/Makefile b/Makefile
index 6a48839..cc2ee74 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -111,7 +111,7 @@ clean: tidy
        rm -f $(ITARGET)
 
 dist: tidy
-       rm -f *~ \#*
+       rm -f *~ \#* core
 
 spotless: clean dist
        rm -f $(BTARGET)