PanLinx: Texinfo source Header

English	eng-000
Texinfo source Header

filename extensions	art-335	texinfo
TechTarget file types	art-336	TEXINFO-Texinfo-source-Header

PanLex-PanLinx