From a1a900a5f36565a6b944504a1c7c22c2915748a3 Mon Sep 17 00:00:00 2001
From: Niki Roo <niki@nikiroo.be>
Date: Thu, 29 Mar 2018 08:17:41 +0200
Subject: [PATCH] Makfile: install also installs the man pages

---
 Makefile.base | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Makefile.base b/Makefile.base
index ba40711..586c38e 100644
--- a/Makefile.base
+++ b/Makefile.base
@@ -188,6 +188,9 @@ install:
 	echo "#!/bin/sh" > "$(PREFIX)/bin/$(NAME)"
 	echo "$(RJAR) $(RJAR_FLAGS) \"$(PREFIX)/lib/$(NAME).jar\" \"\$$@\"" >> "$(PREFIX)/bin/$(NAME)"
 	chmod a+rx "$(PREFIX)/bin/$(NAME)"
+	if [ -e "man/man1/$(NAME).1" ]; then \
+		cp -r man/ "$(PREFIX)"/share/; \
+	fi
 
 android: android/app/src
 
-- 
2.27.0