7cfd42565e
Also patch Makefile to install man pages at the expected location.
13 lines
341 B
Diff
13 lines
341 B
Diff
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
|