diff --git a/.gitignore b/.gitignore
index 71079837bdf3ace1bd11cbeab6e54351eae63dc9..2ce0641ec9dc8795b27d3662e7c5aab2b5a3db2b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,3 +15,11 @@ build-dep/
 Makefile.coq
 Makefile.coq.conf
 *.crashcoqide
+docs/*.cp*
+docs/*.pdf
+docs/*.dvi
+docs/*.html
+docs/*.info
+docs/*.toc
+docs/*.log
+docs/*.fn*