1 diff -u -r ../rgbds-0.3.2/Makefile ./Makefile
2 --- ../rgbds-0.3.2/Makefile 2017-06-10 00:05:16.000000000 +0200
3 +++ ./Makefile 2017-08-20 11:44:58.798625382 +0200
7 bindir := ${PREFIX}/bin
8 -mandir := ${PREFIX}/man
9 +mandir := ${PREFIX}/share/man