palm/plucker/files/patch-configure


1
2
3
4
5
6
7
8
9
10
11

--- 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