info_TEXINFOS = socket++.texi