From cd582e02bed9863310db3e70702cb1d342d79cee Mon Sep 17 00:00:00 2001
From: Jorrit Herder <jnherder@minix3.org>
Date: Mon, 31 Oct 2005 12:21:52 +0000
Subject: [PATCH] *** empty log message ***

---
 tools/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/Makefile b/tools/Makefile
index 39d6861cc..94811ce99 100755
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -71,7 +71,7 @@ image_small:  includes
 
 # rebuild the program or system libraries
 includes:
-#	cd ../include && $(MAKE) install
+	cd ../include && $(MAKE) install
 
 depend: includes
 	cd ../ && $(MAKE) depend