diff --git a/.gitignore b/.gitignore
index fb8a5d8d3ff..3ae62ec07ae 100644
--- a/.gitignore
+++ b/.gitignore
@@ -16,6 +16,7 @@
 *.cp
 *.fn
 *.ky
+*.cps
 *.log
 *.pdf
 *.html
@@ -29,3 +30,5 @@ lexer.ml
 rustboot
 rustc
 TAGS
+version.ml
+version.texi