=================================================================== RCS file: /cvs/mandoc/configure.local.example,v retrieving revision 1.22 retrieving revision 1.23 diff -u -p -r1.22 -r1.23 --- mandoc/configure.local.example 2016/11/19 15:24:51 1.22 +++ mandoc/configure.local.example 2017/02/04 12:03:07 1.23 @@ -1,4 +1,4 @@ -# $Id: configure.local.example,v 1.22 2016/11/19 15:24:51 schwarze Exp $ +# $Id: configure.local.example,v 1.23 2017/02/04 12:03:07 schwarze Exp $ # # Copyright (c) 2014, 2015, 2016 Ingo Schwarze # @@ -211,6 +211,13 @@ STATIC="-static -pthread" WWWPREFIX="/var/www" HTDOCDIR="${WWWPREFIX}/htdocs" CGIBINDIR="${WWWPREFIX}/cgi-bin" + +# --- user settings related to catman ---------------------------------- + +# By default, building mandocd(8) and catman(8) is disabled. +# To enable it, use the following line. + +BUILD_CATMAN=1 # --- settings that rarely need to be touched --------------------------