--- src/Makefile.in | |
+++ src/Makefile.in | |
@@ -280,6 +280,6 @@ | |
then echo $$r/$(BUILD_SUBDIR)/texinfo/makeinfo/makeinfo ; \ | |
else if (${CONFIGURED_MAKEINFO} --version \ | |
- | egrep 'texinfo[^0-9]*([1-3][0-9]|4\.[2-9]|[5-9])') >/dev/null 2>&1; \ | |
+ | egrep 'texinfo[^0-9]*([1-3][0-9]|4\.[2-9]|4\.[1-9][0-9]|[5-9])') >/dev/null 2>&1; \ | |
then echo ${CONFIGURED_MAKEINFO}; else echo $$s/missing makeinfo; fi; fi` | |
# This just becomes part of the MAKEINFO definition passed down to |