aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorOmar Polo <op@omarpolo.com>2022-03-18 16:23:45 +0000
committerOmar Polo <op@omarpolo.com>2022-03-18 16:23:45 +0000
commit5f966fbe41a18d9ad1577d659da5990994c851bc (patch)
treee4fb5b184cd39a2795adaace393adb98bfabd8eb /configure
parenta00e67f1bf90fe67735c3e2518a46528d15e280b (diff)
configure: allow to set MANDIR from args
diff by Allen Sobot (chilledfrogs at disroot dot org), thanks!
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure1
1 files changed, 1 insertions, 0 deletions
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" ;;