diff --git a/.gitignore b/.gitignore
index 5c8d7df69f4cdebd50d10feed09505d8dd93b44d..6f04785d8df0c9d6531d08a97f0893a02b42e746 100644
--- a/.gitignore
+++ b/.gitignore
@@ -19,3 +19,12 @@ Makefile.coq
 Makefile.coq.conf
 *.crashcoqide
 .env
+*.bbl
+*.bcf
+*.blg
+*.log
+*.out
+*.pdf
+*.run.xml
+*.toc
+