comparison configure @ 84574:9b680bcdc6f2

Fix makeinfo version regexp.
author Glenn Morris <rgm@gnu.org>
date Sat, 15 Sep 2007 19:45:45 +0000
parents 53afd3fbf8e5
children 5039706521c9
comparison
equal deleted inserted replaced
84573:9dfed345b6b7 84574:9b680bcdc6f2
5388 echo "${ECHO_T}no" >&6; } 5388 echo "${ECHO_T}no" >&6; }
5389 fi 5389 fi
5390 5390
5391 5391
5392 if test "$MAKEINFO" != "no" && \ 5392 if test "$MAKEINFO" != "no" && \
5393 test x"`$MAKEINFO --version 2> /dev/null | $EGREP 'texinfo[^0-9]*([5-9]|4\.[6-9])'`" = x; then 5393 test x"`$MAKEINFO --version 2> /dev/null | $EGREP 'texinfo[^0-9]*([1-4][0-9]+|[5-9]|4\.[6-9]|4\.[1-5][0-9]+)'`" = x; then
5394 MAKEINFO=no 5394 MAKEINFO=no
5395 fi 5395 fi
5396 5396
5397 if test "$MAKEINFO" = "no"; then 5397 if test "$MAKEINFO" = "no"; then
5398 { { echo "$as_me:$LINENO: error: makeinfo >= 4.6 is required " >&5 5398 { { echo "$as_me:$LINENO: error: makeinfo >= 4.6 is required " >&5