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