diff options
author | Omar Polo <op@omarpolo.com> | 2022-03-18 16:23:45 +0000 |
---|---|---|
committer | Omar Polo <op@omarpolo.com> | 2022-03-18 16:23:45 +0000 |
commit | 5f966fbe41a18d9ad1577d659da5990994c851bc (patch) | |
tree | e4fb5b184cd39a2795adaace393adb98bfabd8eb /configure | |
parent | a00e67f1bf90fe67735c3e2518a46528d15e280b (diff) |
configure: allow to set MANDIR from args
diff by Allen Sobot (chilledfrogs at disroot dot org), thanks!
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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" ;; |