commit a8c6ecbb89d711dc9d374669b174cb92cad0ebd0
parent f2472ba48558427fb99ac5f2e555947b22c4bb74
Author: Frederic Cambus <fred@statdns.com>
Date: Mon, 2 Sep 2019 10:33:56 +0200
Set default MAN_DIR value only if it's not already set.
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
@@ -7,7 +7,7 @@ KORE=kore
KODEV=kodev/kodev
KORE_CRYPTO?=crypto
INSTALL_DIR=$(PREFIX)/bin
-MAN_DIR=$(PREFIX)/share/man
+MAN_DIR?=$(PREFIX)/share/man
SHARE_DIR=$(PREFIX)/share/kore
INCLUDE_DIR=$(PREFIX)/include/kore