Update texi file