Update the Texinfo manual