diff -r a24aa388f02f -r 636e05eb48f6 Makefile
--- a/Makefile	Wed Jan 02 16:03:50 2013 +0100
+++ b/Makefile	Sat Jan 12 14:00:47 2013 +0100
@@ -43,6 +43,12 @@
 	@echo "clean build"
 	rm -f -R build
 
+cleanall:
+	@echo "clean all"
+	rm -f -R build
+	rm -f -R work
+	rm -f config.mk
+
 install: all
 	cd make; $(MAKE) -f install.mk install