diff --git a/Coq.gitignore b/Coq.gitignore
index a3e2ac49dd116f6b509e74bed291e51f20d7d6c5..829ac44a1c7b0888dfb9e9e9e32e5cf3f1400207 100644
--- a/Coq.gitignore
+++ b/Coq.gitignore
@@ -31,3 +31,13 @@ lia.cache
 nia.cache
 nlia.cache
 nra.cache
+
+# generated timing files
+*.timing.diff
+*.v.after-timing
+*.v.before-timing
+*.v.timing
+time-of-build-after.log
+time-of-build-before.log
+time-of-build-both.log
+time-of-build-pretty.log