From 97ec3bd5556b923d35020325de4bef9786879575 Mon Sep 17 00:00:00 2001
From: Wolfgang Müller
Date: Thu, 3 Oct 2019 14:14:14 +0200
Subject: Have the Makefile install the manual

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

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