diff options
| author |   Ingo Schwarze <schwarze@openbsd.org> | 2017-02-04 12:03:07 +0000 |
|---|---|---|
| committer | Ingo Schwarze <schwarze@openbsd.org> | 2017-02-04 12:03:07 +0000 |
| commit | 917cc472b6d91e5bac0a2f3cdf26e113a64ecd45 (patch) | |
| tree | d9ce1077bc76cc1d2580369c4cc479a5e027b398 /configure | |
| parent | e4856730c8ae137f75b06abac3e1d29e98934732 (diff) | |
| download | mandoc-917cc472b6d91e5bac0a2f3cdf26e113a64ecd45.tar.gz mandoc-917cc472b6d91e5bac0a2f3cdf26e113a64ecd45.tar.zst mandoc-917cc472b6d91e5bac0a2f3cdf26e113a64ecd45.zip | |
experimental mandocd(8) and catman(8)
for development in the tree, not yet ready for production
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 9 |
1 files changed, 7 insertions, 2 deletions
@@ -1,6 +1,6 @@ #!/bin/sh # -# $Id: configure,v 1.55 2017/01/12 15:45:05 schwarze Exp $ +# $Id: configure,v 1.56 2017/02/04 12:03:07 schwarze Exp $ # # Copyright (c) 2014, 2015, 2016 Ingo Schwarze <schwarze@openbsd.org> # @@ -47,6 +47,7 @@ LD_OHASH= STATIC="-static" BUILD_CGI=0 +BUILD_CATMAN=0 INSTALL_LIBMANDOC=0 HAVE_DIRENT_NAMLEN= @@ -428,10 +429,14 @@ exec > Makefile.local [ -z "${INSTALL_DATA}" ] && INSTALL_DATA="${INSTALL} -m 0444" BUILD_TARGETS= -[ ${BUILD_CGI} -gt 0 ] && BUILD_TARGETS="cgi-build" +[ ${BUILD_CGI} -gt 0 ] && BUILD_TARGETS="man.cgi" +[ ${BUILD_CATMAN} -gt 0 ] && \ + BUILD_TARGETS="${BUILD_TARGETS} mandocd catman" INSTALL_TARGETS= [ ${INSTALL_LIBMANDOC} -gt 0 ] && INSTALL_TARGETS="lib-install" [ ${BUILD_CGI} -gt 0 ] && INSTALL_TARGETS="${INSTALL_TARGETS} cgi-install" +[ ${BUILD_CATMAN} -gt 0 ] && \ + INSTALL_TARGETS="${INSTALL_TARGETS} catman-install" cat << __HEREDOC__ BUILD_TARGETS = ${BUILD_TARGETS} |