Makfile: install also installs the man pages

diff --git a/Makefile.base b/Makefile.base
index ba407111c6307d6384ad5e800d6d95083670af6b..586c38e377fa9b0016081361d1c3d336b57ab5f2 100644 (file)
--- 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