diff --git a/Makefile.in b/Makefile.in
index 0d05b44f7ace004f07c6ea74fc9143aa7cf4e51b..e03387e2a8a92069e15490db4f8e027424b4b8cb 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -359,7 +359,7 @@ top_build_prefix = @top_build_prefix@
 top_builddir = @top_builddir@
 top_srcdir = @top_srcdir@
 AUTOMAKE_OPTIONS = foreign 1.9 nostdinc
-SUBDIRS = src tools
+SUBDIRS = src
 DISTCHECK_CONFIGURE_FLAGS = @CONFIGURE_OPTIONS@
 fapi_docdir = ${prefix}/doc/${PACKAGE}
 fapi_doc_DATA = \