1 files changed, 1 insertions, 0 deletions
diff --git a/manual/.gitignore b/manual/.gitignore
index e92cef39b4..55c49c998c 100644
--- a/manual/.gitignore
+++ b/manual/.gitignore
@@ -27,3 +27,4 @@ stamp-*
 summary.texi
 texis
 top-menu.texi
+version.texi