PanLinx: TEXinfo The GNU Documentation System file format

English	eng-000
TEXinfo The GNU Documentation System file format

filename extensions	art-335	texi
TechTarget file types	art-336	TEXI-TEXinfo-The-GNU-Documentation-System-file-format

PanLex-PanLinx