ignore a few more files

b45812dd · Ralf Jung · b6e2991e · b45812dd
Commit b45812dd authored Jan 31, 2016 by Ralf Jung
--- a/docs/.gitignore
+++ b/docs/.gitignore
@@ -10,3 +10,5 @@
 *.blg
 *.bcf
 *.run.xml
+_*_.tex
+auto/*.el