info_TEXINFOS = refman.texi