From 43386cf1dda163e1cad18cae0d7e956056c62f0b Mon Sep 17 00:00:00 2001 From: Mika Lindqvist Date: Sat, 28 Sep 2024 09:40:46 +0300 Subject: Add --mandir to ./configure to specify manual directory. --- configure | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/configure b/configure index 84f40acb..ca72d267 100755 --- a/configure +++ b/configure @@ -122,14 +122,15 @@ case "$1" in echo 'usage:' | tee -a configure.log echo ' configure [--const] [--zprefix] [--prefix=PREFIX] [--eprefix=EXPREFIX]' | tee -a configure.log echo ' [--insecure] [--static] [--64] [--libdir=LIBDIR] [--sharedlibdir=LIBDIR]' | tee -a configure.log - echo ' [--includedir=INCLUDEDIR] [--archs="-arch i386 -arch x86_64"]' | tee -a configure.log - echo ' [--disable-crcvx]' | tee -a configure.log + echo ' [--includedir=INCLUDEDIR] [--mandir=MANDIR]' | tee -a configure.log + echo ' [--archs="-arch i386 -arch x86_64"] [--disable-crcvx]' | tee -a configure.log exit 0 ;; -p*=* | --prefix=*) prefix=`echo $1 | sed 's/.*=//'`; shift ;; -e*=* | --eprefix=*) exec_prefix=`echo $1 | sed 's/.*=//'`; shift ;; -l*=* | --libdir=*) libdir=`echo $1 | sed 's/.*=//'`; shift ;; --sharedlibdir=*) sharedlibdir=`echo $1 | sed 's/.*=//'`; shift ;; -i*=* | --includedir=*) includedir=`echo $1 | sed 's/.*=//'`;shift ;; + -m*=* | --mandir=*) mandir=`echo $1 | sed 's/.*=//'`;shift ;; -u*=* | --uname=*) uname=`echo $1 | sed 's/.*=//'`;shift ;; -p* | --prefix) prefix="$2"; shift; shift ;; -e* | --eprefix) exec_prefix="$2"; shift; shift ;; -- cgit v1.2.3-55-g6feb