doc/version.texi
