From 38e7fdd867af5d46b98165caef0e064b6e4d69ef Mon Sep 17 00:00:00 2001 From: Davin McCall Date: Thu, 8 Jun 2017 21:16:21 +0100 Subject: [PATCH] Install Dinit manpage on "make install". --- Makefile | 1 + doc/manpages/Makefile | 3 +++ 2 files changed, 4 insertions(+) create mode 100644 doc/manpages/Makefile diff --git a/Makefile b/Makefile index 3614cbe..e764dee 100644 --- a/Makefile +++ b/Makefile @@ -5,6 +5,7 @@ all: install: $(MAKE) -C src install + $(MAKE) -C doc/manpages install clean: $(MAKE) -C src clean diff --git a/doc/manpages/Makefile b/doc/manpages/Makefile new file mode 100644 index 0000000..53f6a7a --- /dev/null +++ b/doc/manpages/Makefile @@ -0,0 +1,3 @@ +install: + mkdir -p "$(DESTDIR)/usr/share/man/man1" + cp dinit.1 "$(DESTDIR)/usr/share/man/man1" -- 2.25.1