|
|
|---|
# For an installed makeinfo, we require it to be from texinfo 4.4 or | # For an installed makeinfo, we require it to be from texinfo 4.4 or |
# higher, else we use the "missing" dummy. | # higher, else we use the "missing" dummy. |
if ${MAKEINFO} --version \ | if ${MAKEINFO} --version \ |
| egrep 'texinfo[^0-9]*([1-3][0-9]|4\.[4-9]|[5-9])' >/dev/null 2>&1; then |
| egrep 'texinfo[^0-9]*(4\.([4-9]|[1-9][0-9])|[5-9]|[1-9][0-9])' >/dev/null 2>&1; then |
: | : |
else | else |
MAKEINFO="$MISSING makeinfo" | MAKEINFO="$MISSING makeinfo" |
