--- configure.orig	Thu Oct 17 00:59:25 2002
+++ configure	Thu Oct 31 11:36:31 2002
@@ -1126,7 +1126,7 @@
 test -n "$SED" && break
 done
 
-    $SED --version 2>&1 < /dev/null | grep GNU >/dev/null 2>&1
+#   $SED --version 2>&1 < /dev/null | grep GNU >/dev/null 2>&1
     if test "$?" != "0" ; then
     	echo "configure: warning: "Version of sed on path must be GNU sed to build manual"" 1>&2
     	BUILD_MANUAL=no
