Update texinfo to latest. 5.2.