From 5b6b5cc745d3e0a6a170a2947bb36fc11c12e3a8 Mon Sep 17 00:00:00 2001 From: Carsten Larsen Date: Fri, 14 Jul 2017 13:54:07 +0200 Subject: [PATCH] Allow man-dir and doc-dir while configuring --- configure | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/configure b/configure index 36320e1f..f430cc7e 100755 --- a/configure +++ b/configure @@ -66,6 +66,15 @@ for arg in "$@"; do unknown=false ;; + --man-dir=*) + mandir=`echo $arg | sed 's/--mandir=//'` + unknown=false + ;; + + --doc-dir=*) + unknown=false + ;; + --cross-compile=*) crosscompile=`echo $arg | sed 's/--cross-compile=//'` crosscompile="${crosscompile}-"