fix bad application of patch #681 in 1.0.0.23 *** TeXmacs-1.0.0.24-src/configure.in --- TeXmacs-1.0.0.24-src/configure.in *************** *** 550,556 **** if test "$enable_debug" = "no"; then CONFIG_STRIP="strip" CONFIG_CXXDEBUG="" - optimize_default="$CONFIG_CXXOPTIMIZE" else AC_MSG_RESULT([enabling debugging, $enable_debug]) CONFIG_STRIP="true" --- 550,555 ----