diff -r 59f5197b088a -r bfa2e7806d7d absyntax/Makefile
--- a/absyntax/Makefile	Mon Mar 02 09:27:55 2009 +0100
+++ b/absyntax/Makefile	Thu Mar 19 16:21:30 2009 +0100
@@ -10,7 +10,6 @@
 
 clean:
 	rm -f *.o
-	find . -depth -mindepth 2 -maxdepth 2 -name Makefile -printf %h\\n | xargs -i make -C{} $@
 
 
 #get warnings, debugging information and optimization