diff -u -r ../rgbds-0.3.2/Makefile ./Makefile
--- ../rgbds-0.3.2/Makefile	2017-06-10 00:05:16.000000000 +0200
+++ ./Makefile	2017-08-20 11:44:58.798625382 +0200
@@ -3,7 +3,7 @@
 Q		:= @
 PREFIX		:= /usr/local
 bindir		:= ${PREFIX}/bin
-mandir		:= ${PREFIX}/man
+mandir		:= ${PREFIX}/share/man
 STRIP		:= -s
 BINMODE		:= 555
 MANMODE		:= 444