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 | 2cb7bd566648a1b8097593f200949cd4e9f3ce64 (patch) | |
tree | 84b4f617abc8c3c2a7922d0e8fe07525c09d0aed /configure.local.example | |
parent | bbeb7f3d1552ab971dd625340d256ddad5e3dceb (diff) | |
download | mandoc-2cb7bd566648a1b8097593f200949cd4e9f3ce64.tar.gz |
Provide a variable BINM_CATMAN.
Suggested by Michael <Stapelberg@debian.org>.
Diffstat (limited to 'configure.local.example')
-rw-r--r-- | configure.local.example | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/configure.local.example b/configure.local.example index 98cf468e..c05e5cab 100644 --- a/configure.local.example +++ b/configure.local.example @@ -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. |