diff options
Diffstat (limited to 'configure.local.example')
| -rw-r--r-- | configure.local.example | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/configure.local.example b/configure.local.example index 2f0a2b08..8f1168b3 100644 --- a/configure.local.example +++ b/configure.local.example @@ -1,4 +1,4 @@ -# $Id: configure.local.example,v 1.25 2017/02/08 16:16:08 schwarze Exp $ +# $Id: configure.local.example,v 1.26 2017/02/16 15:12:32 schwarze Exp $ # # Copyright (c) 2014, 2015, 2016 Ingo Schwarze <schwarze@openbsd.org> # @@ -97,7 +97,7 @@ MANM_MANCONF="mandoc.conf" # default is "man.conf" # It is possible to set only one or a few of these variables, # there is no need to copy the whole block. -MANM_MAN="mandoc_man" # default is "man" +MANM_MAN="mandoc_man" # default is "catman" MANM_MDOC="mandoc_mdoc" # default is "mdoc" MANM_ROFF="mandoc_roff" # default is "roff" MANM_EQN="mandoc_eqn" # default is "eqn" @@ -227,6 +227,11 @@ CGIBINDIR="${WWWPREFIX}/cgi-bin" BUILD_CATMAN=1 +# Install catman(8) with a different name. +# See BINM_MAN above for details of how this works. + +BINM_CATMAN=mcatman # default is "man" + # --- settings that rarely need to be touched -------------------------- # Do not set these variables unless you really need to. |