diff -ru gcc-4.1.0/configure gcc-4.1.0-patched/configure
--- gcc-4.1.0/configure	2005-12-16 13:57:40.000000000 +0100
+++ gcc-4.1.0-patched/configure	2011-05-02 14:07:34.000000000 +0200
@@ -3543,7 +3543,7 @@
     # For an installed makeinfo, we require it to be from texinfo 4.2 or
     # higher, else we use the "missing" dummy.
     if ${MAKEINFO} --version \
-       | egrep 'texinfo[^0-9]*([1-3][0-9]|4\.[2-9]|[5-9])' >/dev/null 2>&1; then
+       | egrep 'texinfo[^0-9]*([1-3][0-9]|4\.([2-9]|[1-9][0-9])|[5-9])' >/dev/null 2>&1; then
       :
     else
       MAKEINFO="$MISSING makeinfo"