PanLinx: Same as TEXI

English	eng-000
Same as TEXI

filename extensions	art-335	texinfo
TechTarget file types	art-336	TEXINFO-Same-as-TEXI

PanLex-PanLinx