From: Ben Gras <ben@minix3.org>
Date: Thu, 7 Jul 2011 21:04:32 +0000 (+0200)
Subject: world: add servers install target
X-Git-Tag: v3.2.0~487
X-Git-Url: http://zhaoyanbai.com/repos/doc/roff.7.html?a=commitdiff_plain;h=25bd2bd8fa17b58f75be451d757a454ae11b4387;p=minix.git

world: add servers install target

  . previously happened for install in tools/
  . reported by Evgeniy Ivanov
---

diff --git a/Makefile b/Makefile
index e788d2e77..cc8f36aaf 100644
--- a/Makefile
+++ b/Makefile
@@ -84,6 +84,7 @@ install:
 	$(MAKE) -C man install makedb
 	$(MAKE) -C commands install
 	$(MAKE) -C bin install
+	$(MAKE) -C servers install
 	$(MAKE) -C usr.bin install
 	$(MAKE) -C share install
 	$(MAKE) -C tools install