diff --git a/configure b/configure index 839d8b3..100786d 100755 --- a/configure +++ b/configure @@ -1111,6 +1111,9 @@ for arg ; do --mandir=*) mb_mandir=${arg#*=} ;; + --docdir=*) + mb_docdir=${arg#*=} + ;; --libexecdir=*) mb_libexecdir=${arg#*=} ;;