add texinfo.texi