diff options
Diffstat (limited to 'palm/plucker/files/patch-configure.in')
| -rw-r--r-- | palm/plucker/files/patch-configure.in | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/palm/plucker/files/patch-configure.in b/palm/plucker/files/patch-configure.in deleted file mode 100644 index 83898e051626..000000000000 --- a/palm/plucker/files/patch-configure.in +++ /dev/null @@ -1,11 +0,0 @@ ---- configure.in.orig Thu Oct 17 00:59:24 2002 -+++ configure.in Thu Oct 31 11:38:03 2002 -@@ -229,7 +229,7 @@ - - if test "$BUILD_MANUAL" = "yes"; then - AC_PATH_PROGS(SED, gsed sed) -- [$SED --version 2>&1 < /dev/null | grep GNU >/dev/null 2>&1] -+dnl [$SED --version 2>&1 < /dev/null | grep GNU >/dev/null 2>&1] - if test "$?" != "0" ; then - AC_MSG_WARN("Version of sed on path must be GNU sed to build manual") - BUILD_MANUAL=no |