.TEXI File
.texi is TEXinfo file format
Features | Description |
---|---|
File Extension | .texi |
Format | N/A |
Created by | GNU Project |
Category | Document |
.texi is TEXinfo file format
Features | Description |
---|---|
File Extension | .texi |
Format | N/A |
Created by | GNU Project |
Category | Document |
What's on this Page
The texi file extension is related to the TEXinfo, an official documentation format of the GNU project.
It was invented by Richard Stallman and Bob Chassell many years ago, loosely based on Brian Reid's Scribe and other formatting languages of the time. It is used by many non-GNU projects as well.
Mime types:
application/x-texinfo