diff --git a/.gitignore b/.gitignore
index 21b393bc4..ae5c31ce2 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,6 +4,8 @@ docs/_site
 .coq_config
 *.cm*
 *.vo
+*.vok
+*.vos
 *.v.d
 *.glob
 Makefile.coq