Add support for Texinfo-5.0.