--- a/Make.proto	Fri Sep 06 10:36:57 2013 +0100
+++ b/Make.proto	Tue Sep 10 10:34:38 2013 +0100
@@ -21,7 +21,7 @@
 INCLUDE_TOP=$(TOP)/..
 
 # subdirectories where targets are to be made:
-SUBDIRS= libs mauve tools experiments examples benchmarks examples/tomcat6 startup
+SUBDIRS= libs tools experiments
 
 
 # subdirectories where Makefiles are to be made: