From 47203b7e746e0002068323bc4d12d5f6baa3bbe3 Mon Sep 17 00:00:00 2001
From: thdox <thdox@free.fr>
Date: Sun, 8 Feb 2015 16:50:36 +0100
Subject: [PATCH] Add version.texi, and some random texi generated files.

[ci skip]
---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index 16ee2784d..e0bba1a6e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -43,17 +43,20 @@ doc/*.html
 doc/*.info
 doc/*.info-*
 doc/*.ky
+doc/*.kys
 doc/*.log
 doc/*.pdf
 doc/*.pg
 doc/*.toc
 doc/*.tp
 doc/*.vr
+doc/*.vrs
 doc/.dirstamp
 doc/html/
 doc/latex/
 doc/refman.pdf
 doc/report/
+doc/version.texi
 elisp-comp
 install-sh
 intl/