# HG changeset patch
# User diego
# Date 1183575219 0
# Node ID 2c8bfc750aa574b259b93e44df038dd573d5bc74
# Parent  3a2b190d5936f8034eff3bba44290371e303aa08
Also remove generated tools on distclean.

diff -r 3a2b190d5936 -r 2c8bfc750aa5 Makefile
--- a/Makefile	Wed Jul 04 18:41:22 2007 +0000
+++ b/Makefile	Wed Jul 04 18:53:39 2007 +0000
@@ -306,6 +306,7 @@
 
 distclean:: doxygen_clean
 	@for a in $(PARTS); do $(MAKE) -C $$a distclean; done
+	$(MAKE) -C TOOLS distclean
 	-rm -f configure.log config.mak config.h
 
 strip: