mirror of https://github.com/omar-polo/gmid.git
configure: allow to set MANDIR from args
diff by Allen Sobot (chilledfrogs at disroot dot org), thanks!
This commit is contained in:
parent
a00e67f1bf
commit
5f966fbe41
|
@ -132,6 +132,7 @@ for keyvals in "$@"; do
|
||||||
CFLAGS) CFLAGS="$val" ;;
|
CFLAGS) CFLAGS="$val" ;;
|
||||||
DESTDIR) DESTDIR="$val" ;;
|
DESTDIR) DESTDIR="$val" ;;
|
||||||
LDFLAGS) LDFLAGS="$val" ;;
|
LDFLAGS) LDFLAGS="$val" ;;
|
||||||
|
MANDIR) MANDIR="$val" ;;
|
||||||
PREFIX) PREFIX="$val" ;;
|
PREFIX) PREFIX="$val" ;;
|
||||||
YACC) YACC="$val" ;;
|
YACC) YACC="$val" ;;
|
||||||
--prefix) PREFIX="$val" ;;
|
--prefix) PREFIX="$val" ;;
|
||||||
|
|
Loading…
Reference in New Issue