diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -1,6 +1,6 @@ #!/bin/sh # -# $Id: configure,v 1.53 2016/10/20 18:47:49 schwarze Exp $ +# $Id: configure,v 1.54 2016/11/19 15:24:51 schwarze Exp $ # # Copyright (c) 2014, 2015, 2016 Ingo Schwarze <schwarze@openbsd.org> # @@ -47,6 +47,7 @@ LD_OHASH= STATIC="-static" BUILD_CGI=0 +INSTALL_LIBMANDOC=0 HAVE_DIRENT_NAMLEN= HAVE_EFTYPE= @@ -429,7 +430,8 @@ exec > Makefile.local BUILD_TARGETS= [ ${BUILD_CGI} -gt 0 ] && BUILD_TARGETS="cgi-build" INSTALL_TARGETS= -[ ${BUILD_CGI} -gt 0 ] && INSTALL_TARGETS="cgi-install" +[ ${INSTALL_LIBMANDOC} -gt 0 ] && INSTALL_TARGETS="lib-install" +[ ${BUILD_CGI} -gt 0 ] && INSTALL_TARGETS="${INSTALL_TARGETS} cgi-install" cat << __HEREDOC__ BUILD_TARGETS = ${BUILD_TARGETS} |