texinfo >= 4.7
