world: add servers install target

. previously happened for install in tools/
  . reported by Evgeniy Ivanov
This commit is contained in:
Ben Gras 2011-07-07 23:04:32 +02:00
parent f66e550c80
commit 25bd2bd8fa

View file

@ -84,6 +84,7 @@ install:
$(MAKE) -C man install makedb $(MAKE) -C man install makedb
$(MAKE) -C commands install $(MAKE) -C commands install
$(MAKE) -C bin install $(MAKE) -C bin install
$(MAKE) -C servers install
$(MAKE) -C usr.bin install $(MAKE) -C usr.bin install
$(MAKE) -C share install $(MAKE) -C share install
$(MAKE) -C tools install $(MAKE) -C tools install