/gendocs_template /gendocs_template_min /grep.info* /stamp-vti /version.texi