doc/stamp-vti
doc/check.info
doc/version.texi
