Texinfo is the official documentation format of the GNU project.