From b45812dd38f3a22ac70dfd3bd06eefc71d85184d Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 31 Jan 2016 18:59:22 +0100
Subject: [PATCH] ignore a few more files

---
 docs/.gitignore | 2 ++
 1 file changed, 2 insertions(+)

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