From b4054f0f1f195319eca42c82e624cffdc0e47a3c Mon Sep 17 00:00:00 2001
From: Andreas Zweili <andreas@2li.ch>
Date: Mon, 9 Jul 2018 21:47:51 +0200
Subject: [PATCH] ignore the auto directory

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index ff1d5e7..ad84ff4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -417,3 +417,4 @@ TSWLatexianTemp*
 *.pdf
 auto
 *.el
+auto/