From 9e2d708eb7d69fd7e24b22ef3ec7ffa2cfec58a6 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}-"