From a11b545a85a90f5f13b5cfd116e55a8179d2b39d Mon Sep 17 00:00:00 2001
From: midipix <writeonce@midipix.org>
Date: Mar 26 2025 18:10:07 +0000
Subject: build system: configure: add missing handling of --docdir.


---

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#*=}
 			;;