1 diff -u -r ../mandoc-1.14.3/configure ./configure
2 --- ../mandoc-1.14.3/configure 2017-08-05 14:40:21.000000000 +0200
3 +++ ./configure 2017-08-17 16:00:24.385570649 +0200
6 SOURCEDIR=`dirname "$0"`
8 -MANPATH_BASE="/usr/share/man:/usr/X11R6/man"
9 -MANPATH_DEFAULT="/usr/share/man:/usr/X11R6/man:/usr/local/man"
10 +MANPATH_BASE="@TERMUX_PREFIX@/share/man"
11 +MANPATH_DEFAULT="@TERMUX_PREFIX@/share/man"
15 -CC=`printf "all:\\n\\t@echo \\\$(CC)\\n" | env -i make -sf -`
16 CFLAGS="-g -W -Wall -Wmissing-prototypes -Wstrict-prototypes -Wwrite-strings"
17 CFLAGS="${CFLAGS} -Wno-unused-parameter"
26 # --- manual settings from configure.local -----------------------------
29 elif singletest nanosleep NANOSLEEP; then
31 elif runtest nanosleep NANOSLEEP "-lrt"; then
35 if [ "${HAVE_NANOSLEEP}" -eq 0 ]; then
36 echo "FATAL: nanosleep: no" 1>&2
38 [ ${HAVE_GETLINE} -eq 0 ] && echo "#include <stdio.h>"
41 -echo "#define MAN_CONF_FILE \"/etc/${MANM_MANCONF}\""
42 +echo "#define MAN_CONF_FILE \"@TERMUX_PREFIX@/etc/${MANM_MANCONF}\""
43 echo "#define MANPATH_BASE \"${MANPATH_BASE}\""
44 echo "#define MANPATH_DEFAULT \"${MANPATH_DEFAULT}\""
45 [ -n "${OSNAME}" ] && echo "#define OSNAME \"${OSNAME}\""