4 mkdir -p "$(DESTDIR)$(MANDIR)/man8"
5 install -m644 dinit.8 dinitctl.8 "$(DESTDIR)$(MANDIR)/man8"
6 mkdir -p "$(DESTDIR)$(MANDIR)/man5"
7 install -m644 dinit-service.5 "$(DESTDIR)$(MANDIR)/man5"
8 ifeq ($(BUILD_SHUTDOWN),yes)
9 install -m644 shutdown.8 "$(DESTDIR)$(MANDIR)/man8"
10 ln "$(DESTDIR)$(MANDIR)/man8/shutdown.8" "$(DESTDIR)$(MANDIR)/man8/halt.8"
11 ln "$(DESTDIR)$(MANDIR)/man8/shutdown.8" "$(DESTDIR)$(MANDIR)/man8/reboot.8"