--- a/Make.proto	Thu Sep 05 03:29:47 2013 +0100
+++ b/Make.proto	Thu Sep 05 16:37:21 2013 +0100
@@ -21,7 +21,7 @@
 INCLUDE_TOP=$(TOP)/..
 
 # subdirectories where targets are to be made:
-SUBDIRS= examples experiments tools
+SUBDIRS= experiments tools
 
 
 # subdirectories where Makefiles are to be made: