aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--manual/.gitignore1
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