Index: configure
===================================================================
diff -u -rfb1c70479008e8b50c8b1ac0885af959fc316775 -r697ce4d38e63d352779604444d01159a89bdd3f6
--- configure	(.../configure)	(revision fb1c70479008e8b50c8b1ac0885af959fc316775)
+++ configure	(.../configure)	(revision 697ce4d38e63d352779604444d01159a89bdd3f6)
@@ -1364,7 +1364,6 @@
 	   --without-xowish disables built of xowish
   --with-all=yes|no,
 	   --without-all disables built of all
-  --with-tclinclude       directory containing the public Tcl  header files.
   --with-expat=sys assumes a system-wide expat installation,
            --with-expat=<INC_DIR,LIB_DIR> point to a custom expat installation,
            --without-expat falls back to the bundled expat installation
@@ -2013,12 +2012,6 @@
 fi
 
 
-# Check whether --with-tclinclude was given.
-if test "${with_tclinclude+set}" = set; then
-  withval=$with_tclinclude; with_tclinclude=${withval}
-fi
-
-
 # Check whether --with-expat was given.
 if test "${with_expat+set}" = set; then
   withval=$with_expat; with_expat=$withval
@@ -7357,16 +7350,6 @@
 echo "${ECHO_T}${result}" >&6; }
 
 
-if test x"${with_tclinclude}" != x ; then
-   if test -f "${with_tclinclude}/tcl.h" ; then
-      TCL_INCLUDES="-I${with_tclinclude} ${TCL_INCLUDES}"
-   else
-      { { echo "$as_me:$LINENO: error: ${with_tclinclude} directory does not contain Tcl header file tcl.h" >&5
-echo "$as_me: error: ${with_tclinclude} directory does not contain Tcl header file tcl.h" >&2;}
-   { (exit 1); exit 1; }; }
-   fi
-fi
-
 #--------------------------------------------------------------------
 # __CHANGE__
 # A few miscellaneous platform-specific items: