Update Texinfo manual

[ci skip]