1 --- configure~ 2009-10-01 10:52:14.262000484 +0600
2 +++ configure 2009-10-01 10:53:08.308663418 +0600
4 includedir='${prefix}/include'
5 oldincludedir='/usr/include'
6 infodir='${prefix}/info'
7 -mandir='${prefix}/man'
8 +mandir='${prefix}/share/man'
16 - if test ! -f "${TCL_SRC_DIR}/generic/tclInt.h" ; then
17 + if test ! -f "/usr/include/tclInt.h" ; then
18 { { echo "$as_me:$LINENO: error: Cannot find private header tclInt.h in ${TCL_SRC_DIR}" >&5
19 echo "$as_me: error: Cannot find private header tclInt.h in ${TCL_SRC_DIR}" >&2;}
20 { (exit 1); exit 1; }; }