--- /dev/null
+--- TeXmacs-0.3.5.8-src/configure.in~ Sun Dec 2 11:57:09 2001
++++ TeXmacs-0.3.5.8-src/configure.in Sun Dec 2 11:57:09 2001
+@@ -26,16 +26,6 @@
+ AC_PROG_CC
+ AC_PROG_CXX
+ AC_LANG_CPLUSPLUS
+-AC_MSG_CHECKING(whether GNU C++ compiler is default)
+-case "$GXX" in
+- yes )
+- AC_MSG_RESULT(yes)
+- ;;
+- *)
+- AC_MSG_WARN(no)
+- CXX="g++"
+- ;;
+-esac
+ GUILE_FLAGS
+ CPP_X_HEADERS
+
+@@ -252,80 +242,6 @@
+ AC_SUBST(CONFIG_WORD_MASK)
+ AC_SUBST(CONFIG_MAX_FAST)
+
+-#--------------------------------------------------------------------
+-# Default paths for installation
+-#--------------------------------------------------------------------
+-
+-if test "$prefix" = ""; then
+- prefix=/usr/local
+-fi
+-if test "$prefix" = "NONE"; then
+- prefix=/usr/local
+-fi
+-if test "$exec_prefix" = ""; then
+- exec_prefix=${prefix}
+-fi
+-if test "$exec_prefix" = "NONE"; then
+- exec_prefix=${prefix}
+-fi
+-if test "$exec_prefix" = '${prefix}'; then
+- exec_prefix=${prefix}
+-fi
+-if test "$includedir" = ""; then
+- includedir=${exec_prefix}/include
+-fi
+-if test "$includedir" = "NONE"; then
+- includedir=${exec_prefix}/include
+-fi
+-if test "$includedir" = '${exec_prefix}/include'; then
+- includedir=${exec_prefix}/include
+-fi
+-if test "$libdir" = ""; then
+- libdir=${exec_prefix}/lib
+-fi
+-if test "$libdir" = "NONE"; then
+- libdir=${exec_prefix}/lib
+-fi
+-if test "$libdir" = '${exec_prefix}/lib'; then
+- libdir=${exec_prefix}/lib
+-fi
+-if test "$bindir" = ""; then
+- bindir=${exec_prefix}/bin
+-fi
+-if test "$bindir" = "NONE"; then
+- bindir=${exec_prefix}/bin
+-fi
+-if test "$bindir" = '${exec_prefix}/bin'; then
+- bindir=${exec_prefix}/bin
+-fi
+-if test "$datadir" = ""; then
+- datadir=${prefix}/share
+-fi
+-if test "$datadir" = "NONE"; then
+- datadir=${prefix}/share
+-fi
+-if test "$datadir" = '${prefix}/share'; then
+- datadir=${prefix}/share
+-fi
+-if test "$mandir" = ""; then
+- mandir=${prefix}/man
+-fi
+-if test "$mandir" = "NONE"; then
+- mandir=${prefix}/man
+-fi
+-if test "$mandir" = '${prefix}/man'; then
+- mandir=${prefix}/man
+-fi
+-if test "$libexecdir" = ""; then
+- libexecdir=${exec_prefix}/libexec
+-fi
+-if test "$libexecdir" = "NONE"; then
+- libexecdir=${exec_prefix}/libexec
+-fi
+-if test "$libexecdir" = '${exec_prefix}/libexec'; then
+- libexecdir=${exec_prefix}/libexec
+-fi
+-
+ curdir="`pwd`"
+ genccpath=${curdir}/gencc/bin
+ tmdir=${PACKAGE}-${VERSION}