doc/stamp-vti
doc/version.texi
