From 6eb2679af527be27474e9070b4f869f9470a427c Mon Sep 17 00:00:00 2001
From: Bradley Sepos <bradley@bradleysepos.com>
Date: Wed, 23 Mar 2016 16:39:17 -0400
Subject: [PATCH] build: Set mandir only on Darwin when configuring Discount.

---
 build-tools | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/build-tools b/build-tools
index 3e8c6575..b5bd0675 100755
--- a/build-tools
+++ b/build-tools
@@ -5,6 +5,7 @@ SELF="${BASH_SOURCE[0]}"
 BASE_DIR=$(cd $(dirname "${BASH_SOURCE[0]}") && pwd -P)
 BASE_DIR="${BASE_DIR:-$(pwd)}"
 TOOLS_DIR="${BASE_DIR}/tools"
+SYSTEM_NAME=$(uname -s)
 
 # discount
 function build_discount {
@@ -12,7 +13,11 @@ function build_discount {
     if make clean; then
         make distclean
     fi
-    ./configure.sh --mandir=/usr/local/share/man
+    if [[ "${SYSTEM_NAME}" == "Darwin" ]]; then
+        ./configure.sh --mandir=/usr/local/share/man
+    else
+        ./configure.sh
+    fi
     make
 }