Texinfo doc.