Texinfo Document (.texinfo)
Texinfo ist ein Dokumentationsformat, das vom GNU-Projekt entwickelt wurde, erstellt von Richard Stallman und Bob Chassell. Es verwendet einfache Textdateien mit @-Befehlen, um sowohl Online- als auch Druckdokumentationen aus einer einzigen Quelle zu erstellen. Texinfo-Dateien mit der Erweiterung TEXI unterstützen verschiedene Ausgabeformate wie HTML, PDF und Info. Dieses System vereinfacht die einheitliche Pflege von Dokumentationen über mehrere Formate hinweg.