diff options
| author |   Ingo Schwarze <schwarze@openbsd.org> | 2017-02-16 15:12:32 +0000 |
|---|---|---|
| committer | Ingo Schwarze <schwarze@openbsd.org> | 2017-02-16 15:12:32 +0000 |
| commit | 5da805b34c3264a5c864a50a20065b3e9982b959 (patch) | |
| tree | 0f09fd05d3054ec9fbe41c4e158f03940ff96cf1 /configure.local.example | |
| parent | 5eda43815781d2f6dde50e670e33d155679e6c14 (diff) | |
| download | mandoc-5da805b34c3264a5c864a50a20065b3e9982b959.tar.gz mandoc-5da805b34c3264a5c864a50a20065b3e9982b959.tar.zst mandoc-5da805b34c3264a5c864a50a20065b3e9982b959.zip | |
Provide a variable BINM_CATMAN.
Suggested by Michael <Stapelberg@debian.org>.
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. |