info_TEXINFOS = bnf.texi