From a8c6ecbb89d711dc9d374669b174cb92cad0ebd0 Mon Sep 17 00:00:00 2001
From: Frederic Cambus <fred@statdns.com>
Date: Mon, 2 Sep 2019 10:33:56 +0200
Subject: [PATCH] Set default MAN_DIR value only if it's not already set.

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 9c92be6..03ccae1 100644
--- 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