diff --git a/docs/.gitignore b/docs/.gitignore
index b0c520f6f1f62474548cbe8f27ad3630551ea5a0..7969c4f55c81e769b2facb814aa4d2e95e681c84 100644
--- a/docs/.gitignore
+++ b/docs/.gitignore
@@ -10,3 +10,5 @@
 *.blg
 *.bcf
 *.run.xml
+_*_.tex
+auto/*.el