From 3bccf3c07e0ae305d8a39659d15a5bf6572b665f Mon Sep 17 00:00:00 2001
From: Laurent Modolo <laurent.modolo@ens-lyon.fr>
Date: Fri, 7 Jul 2017 14:39:43 +0200
Subject: [PATCH] Makefile: rm latex tmp file

---
 Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 128df21..c2d1c39 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,7 @@
 all: presentation.pdf
 
 presentation.pdf: presentation.tex header.tex
-	lualatex presentation.tex
+	latex -shell-escape presentation.tex
+
+clean:
+	rm presentation.{aux,bcf,dvi,log,nav,out,run.xml,snm,toc}
-- 
GitLab