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 | 5960f0c1ba4284107409535ccbcbda4bd3a66c5a (patch) | |
| tree | 38cb9145ae288ed9fbec91680cde9363263b4fb1 /configure | |
| parent | d9be634890cae1728d5f49489b411202f19337ad (diff) | |
| download | mandoc-5960f0c1ba4284107409535ccbcbda4bd3a66c5a.tar.gz | |
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}\"" |