Add generated file version.texi