From 3f147a7c541f472f198366c0297fab4bc1a58ddc Mon Sep 17 00:00:00 2001
From: Wynn Wolf Arbor
Date: Tue, 5 May 2020 16:19:36 +0200
Subject: Add manuals to Makefile

---
 Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 8a3008a..debe067 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,8 @@
 PREFIX ?= /usr/local
 
-install: kern
+install: kern kern.1 kernfrag.7
 	install -D -m 755 -t '${DESTDIR}${PREFIX}/bin' kern
+	install -D -m 644 -t '${DESTDIR}${PREFIX}/share/man/man1' kern.1
+	install -D -m 644 -t '${DESTDIR}${PREFIX}/share/man/man7' kernfrag.7
 
 .PHONY: install
-- 
cgit v1.2.3-2-gb3c3