version 1.63, 2017/06/12 19:05:47 |
version 1.64, 2017/07/01 09:47:30 |
Line 35 echo "config.log: writing..." |
|
Line 35 echo "config.log: writing..." |
|
|
|
SOURCEDIR=`dirname "$0"` |
SOURCEDIR=`dirname "$0"` |
|
|
|
MANPATH_BASE="/usr/share/man:/usr/X11R6/man" |
MANPATH_DEFAULT="/usr/share/man:/usr/X11R6/man:/usr/local/man" |
MANPATH_DEFAULT="/usr/share/man:/usr/X11R6/man:/usr/local/man" |
OSNAME= |
OSNAME= |
UTF8_LOCALE= |
UTF8_LOCALE= |
|
|
|
|
echo |
echo |
echo "#define MAN_CONF_FILE \"/etc/${MANM_MANCONF}\"" |
echo "#define MAN_CONF_FILE \"/etc/${MANM_MANCONF}\"" |
|
echo "#define MANPATH_BASE \"${MANPATH_BASE}\"" |
echo "#define MANPATH_DEFAULT \"${MANPATH_DEFAULT}\"" |
echo "#define MANPATH_DEFAULT \"${MANPATH_DEFAULT}\"" |
[ -n "${OSNAME}" ] && echo "#define OSNAME \"${OSNAME}\"" |
[ -n "${OSNAME}" ] && echo "#define OSNAME \"${OSNAME}\"" |
[ -n "${UTF8_LOCALE}" ] && echo "#define UTF8_LOCALE \"${UTF8_LOCALE}\"" |
[ -n "${UTF8_LOCALE}" ] && echo "#define UTF8_LOCALE \"${UTF8_LOCALE}\"" |