new rev%d of texi