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