From dc3f6035520ecf78338def2b0b07139a64b2b219 Mon Sep 17 00:00:00 2001
From: Ben Elliston <bje@gnu.org>
Date: Mon, 3 Dec 2018 12:59:45 +1100
Subject: [PATCH] Ignore version.texi.

---
 doc/.gitignore | 1 +
 1 file changed, 1 insertion(+)

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