Added check for makeinfo version >= 5.0.