F GPL.TEX;1                         	gpl.texinfo
F LGPL.TEX;1                        	lgpl.texinfo
F TEX3PATC.;1                       	tex3patch
F TEXINFO.TEX;1                     	texinfo.tex
