diff options
| author | Ingo Schwarze <schwarze@openbsd.org> | 2015-03-27 00:18:14 +0000 |
|---|---|---|
| committer | Ingo Schwarze <schwarze@openbsd.org> | 2015-03-27 00:18:14 +0000 |
| commit | 074c6d1936d6996a35651157dfc1aa6783e8b52a (patch) | |
| tree | 14532cfc8f6d15af3dd69ae03acc0d67771739ee /configure.local.example | |
| parent | fc24b5d84e98c44e14dac3af031fac65cdc7a9f6 (diff) | |
| download | mandoc-074c6d1936d6996a35651157dfc1aa6783e8b52a.tar.gz | |
Add man.conf(5). After adding some additional functionality,
one of the next steps will be to use it in addition to manpath(1)
rather than as an alternative to it.
Diffstat (limited to 'configure.local.example')
| -rw-r--r-- | configure.local.example | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/configure.local.example b/configure.local.example index 22b4e408..c4a2573e 100644 --- a/configure.local.example +++ b/configure.local.example @@ -96,6 +96,11 @@ HAVE_MANPATH=1 # man(1), makewhatis(8), and apropos(1) will not work properly. HAVE_MANPATH=0 +# Some distributions may want to avoid naming conflicts +# with the configuration files of other man(1) implementations. +# This changes the name of the installed section 5 manual page as well. +MANM_MANCONF="mandoc.conf" # default is "man.conf" + # Some distributions may want to avoid naming conflicts among manuals. # If you want to change the names of installed section 7 manual pages, # the following alternative names are suggested. |