diff --git a/.gitignore b/.gitignore
index 28f56a335bf0cba0b203df8156fbed41a88d898a..4265b41576c1c3033cbfffb54ae78aa00509717e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,7 +1,10 @@
 *.vo
+*.vos
+*.vok
 *.vio
 *.v.d
 .coqdeps.d
+.Makefile.coq.d
 *.glob
 *.cache
 *.aux