diff options
| author |   Ingo Schwarze <schwarze@openbsd.org> | 2015-03-22 18:14:30 +0000 |
|---|---|---|
| committer | Ingo Schwarze <schwarze@openbsd.org> | 2015-03-22 18:14:30 +0000 |
| commit | 916afae122e94e9627eab3ab62e1d5391e0e1fec (patch) | |
| tree | 9fe1eb80edf8e1516007756fc8e0029f38e33ddc /configure | |
| parent | 2dd6335f7e38c6febe4d28c1b9d484009f454ef7 (diff) | |
| download | mandoc-916afae122e94e9627eab3ab62e1d5391e0e1fec.tar.gz mandoc-916afae122e94e9627eab3ab62e1d5391e0e1fec.tar.zst mandoc-916afae122e94e9627eab3ab62e1d5391e0e1fec.zip | |
make MANPATH_DEFAULT compile-time configurable
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -31,6 +31,7 @@ echo "config.log: writing..." # Initialize all variables here, # such that nothing can leak in from the environment. +MANPATH_DEFAULT="/usr/share/man:/usr/X11R6/man:/usr/local/man" OSNAME= CC=`printf "all:\\n\\t@echo \\\$(CC)\\n" | make -f -` @@ -278,6 +279,7 @@ __HEREDOC__ [ ${HAVE_FGETLN} -eq 0 ] && echo "#include <stdio.h>" echo +echo "#define MANPATH_DEFAULT \"${MANPATH_DEFAULT}\"" [ -n "${OSNAME}" ] && echo "#define OSNAME \"${OSNAME}\"" [ -n "${HOMEBREWDIR}" ] && echo "#define HOMEBREWDIR \"${HOMEBREWDIR}\"" |