File Extension TEXI/TEXINFO | File Type Texinfo source
Download Texinfo source
Files with Extension .TEXI/TEXINFO are usually opened and used in Texinfo source. TEXI/TEXINFO files can be imported
from another format or exported to a commonly used format. Use the search feature on this website
to get additional information about how to open or convert files with extension *.TEXI/TEXINFO.
END TITLEPAGE
INPUT TEXINFO
SETFILENAME
SETTITLE
DOCUMENT
CONTENTS
AUTHOR
CODE
DIST
TEXT
MENU
ID:59796