diff options
Diffstat (limited to 'source/d/libtool/doinst.sh')
| -rw-r--r-- | source/d/libtool/doinst.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/d/libtool/doinst.sh b/source/d/libtool/doinst.sh index 38b074dd6..0c08bb49a 100644 --- a/source/d/libtool/doinst.sh +++ b/source/d/libtool/doinst.sh @@ -2,7 +2,7 @@ # "libtool" item in info root structure, if we type "info". if [ -x /usr/bin/install-info ] ; then install-info --info-dir=/usr/info /usr/info/libtool.info.gz 2>/dev/null -elif fgrep "libtoolize" usr/info/dir 1> /dev/null 2> /dev/null ; then +elif grep -F "libtoolize" usr/info/dir 1> /dev/null 2> /dev/null ; then GOOD=yes # It seems to be entered in the /usr/info/dir already else # add the info to the dir file directly: cat << EOF >> usr/info/dir |