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.local.example | |
| 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.local.example')
| -rw-r--r-- | configure.local.example | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/configure.local.example b/configure.local.example index d5799a5a..6ac2310a 100644 --- a/configure.local.example +++ b/configure.local.example @@ -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 <schwarze@openbsd.org> # @@ -212,6 +212,13 @@ 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 -------------------------- # Do not set these variables unless you really need to. |