From: Niki Roo <niki@nikiroo.be>
Date: Thu, 29 Mar 2018 06:56:26 +0000 (+0200)
Subject: Merge branch WIP back into master:
X-Git-Url: http://git.nikiroo.be/?p=nikiroo-utils.git;a=commitdiff_plain;h=6bfa27805ec903223e6e45c6f4d00e94629a064c;hp=298d405a94bd30b67ce69add67bd7c764061def4

Merge branch WIP back into master:
- use BasicSupport for all Supports working on files
---

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