diff --git a/doc/.gitignore b/doc/.gitignore
index 185b0d66..01f5725c 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,2 +1,3 @@
 dejagnu.info
+version.texi
 stamp-vti