1 files changed, 3 insertions, 0 deletions
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#*=}
 			;;