These are auxiliary files for building documentation.
This file is needed for the conversion of Texinfo-format documentation to PDF, PostScript, or DVI formats. It implements the GNU Texinfo commands on top of plain TeX.
This file, once processed, gives a program
x-to-1, that produces
a manual page for a program, by combining a skeleton with the program’s