Index: Makefile
--- Makefile.orig	2017-04-13 12:11:14.000000000 +0200
+++ Makefile	2017-07-22 18:15:36.592445000 +0200
@@ -2,7 +2,7 @@
 DESTDIR ?=
 BINDIR ?= $(PREFIX)/bin
 LIBDIR ?= $(PREFIX)/lib
-MANDIR ?= $(PREFIX)/share/man
+MANDIR ?= $(PREFIX)/man
 
 PLATFORMFILE := src/platform/$(shell uname | cut -d _ -f 1 | tr '[:upper:]' '[:lower:]').sh
 
