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 | |
| 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')
| -rwxr-xr-x | configure | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -82,6 +82,7 @@ BINM_MAN="man" BINM_WHATIS="whatis" BINM_MAKEWHATIS="makewhatis" MANM_MAN="man" +MANM_MANCONF="man.conf" MANM_MDOC="mdoc" MANM_ROFF="roff" MANM_EQN="eqn" @@ -279,6 +280,7 @@ __HEREDOC__ [ ${HAVE_FGETLN} -eq 0 ] && echo "#include <stdio.h>" echo +echo "#define MAN_CONF_FILE \"/etc/${MANM_MANCONF}\"" echo "#define MANPATH_DEFAULT \"${MANPATH_DEFAULT}\"" [ -n "${OSNAME}" ] && echo "#define OSNAME \"${OSNAME}\"" [ -n "${HOMEBREWDIR}" ] && echo "#define HOMEBREWDIR \"${HOMEBREWDIR}\"" @@ -422,6 +424,7 @@ BINM_MAN = ${BINM_MAN} BINM_WHATIS = ${BINM_WHATIS} BINM_MAKEWHATIS = ${BINM_MAKEWHATIS} MANM_MAN = ${MANM_MAN} +MANM_MANCONF = ${MANM_MANCONF} MANM_MDOC = ${MANM_MDOC} MANM_ROFF = ${MANM_ROFF} MANM_EQN = ${MANM_EQN} |