info_TEXINFOS = socket++.texi
syntax highlighted by Code2HTML, v. 0.9.1