Index: configure.ac
===================================================================
--- configure.ac	(revision 1a2a49bb7c95d052f316a624485b846d86dd1b05)
+++ configure.ac	(revision a1850acea6531e3a88eb2ef0fb50a247a9a53a93)
@@ -291,6 +291,4 @@
 	libcfa/Makefile:libcfa/Makefile.dist.in
 	tests/Makefile
-	tools/Makefile
-	tools/prettyprinter/Makefile
 	])
 
@@ -302,4 +300,6 @@
 		benchmark/Makefile
 		benchmark/io/http/Makefile
+		tools/Makefile
+		tools/prettyprinter/Makefile
 		])])