Revert "further improve makeinfo check"

This reverts commit 92637413f7d33ddc58800c1ba38a051d4e13a46f.