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}-"