From 5f966fbe41a18d9ad1577d659da5990994c851bc Mon Sep 17 00:00:00 2001
From: Omar Polo <op@omarpolo.com>
Date: Fri, 18 Mar 2022 16:23:45 +0000
Subject: [PATCH] configure: allow to set MANDIR from args

diff by Allen Sobot (chilledfrogs at disroot dot org), thanks!
---
 configure | 1 +
 1 file changed, 1 insertion(+)

diff --git a/configure b/configure
index 7708570..372b613 100755
--- a/configure
+++ b/configure
@@ -132,6 +132,7 @@ for keyvals in "$@"; do
 		CFLAGS)   CFLAGS="$val" ;;
 		DESTDIR)  DESTDIR="$val" ;;
 		LDFLAGS)  LDFLAGS="$val" ;;
+		MANDIR)   MANDIR="$val" ;;
 		PREFIX)   PREFIX="$val" ;;
 		YACC)     YACC="$val" ;;
 		--prefix) PREFIX="$val" ;;