| filename extensions | art-335 |
| texinfo | |
| TechTarget file types | art-336 | TEXINFO-Same-as-TEXI |
| TechTarget file types | art-336 | TEXINFO-Texinfo-Source-GNU-Project |
| TechTarget file types | art-336 | TEXINFO-Texinfo-source-Header |
| English | eng-000 | Same as TEXI |
| English | eng-000 | Texinfo Source |
| English | eng-000 | Texinfo source Header |