also update texi from (local) svn copy