Allow man-dir and doc-dir while configuring

Este commit está contenido en:
Carsten Larsen 2017-07-14 13:54:07 +02:00
padre d34de7e7b5
commit 5b6b5cc745
Se han modificado 1 ficheros con 9 adiciones y 0 borrados

9
configure vendido
Ver fichero

@ -66,6 +66,15 @@ for arg in "$@"; do
unknown=false
;;
--man-dir=*)
mandir=`echo $arg | sed 's/--mandir=//'`
unknown=false
;;
--doc-dir=*)
unknown=false
;;
--cross-compile=*)
crosscompile=`echo $arg | sed 's/--cross-compile=//'`
crosscompile="${crosscompile}-"