world: add servers install target

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

diff --git a/Makefile b/Makefile
index e788d2e7728107f83a343424519f98b3b42133fe..cc8f36aaffbad887ebec49cb854d9e5bb36bfdfc 100644 (file)
--- 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