From 7fb5dd2054ea89b67bac1f31e228ada25621f20b Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 3 Jun 2020 12:46:32 +0200
Subject: [PATCH] add TeX Makefile

---
 tex/.gitignore |  2 ++
 tex/Makefile   | 11 +++++++++++
 2 files changed, 13 insertions(+)
 create mode 100644 tex/Makefile

diff --git a/tex/.gitignore b/tex/.gitignore
index 7969c4f55..5cf7408fa 100644
--- a/tex/.gitignore
+++ b/tex/.gitignore
@@ -10,5 +10,7 @@
 *.blg
 *.bcf
 *.run.xml
+*.fdb_latexmk
+*.fls
 _*_.tex
 auto/*.el
diff --git a/tex/Makefile b/tex/Makefile
new file mode 100644
index 000000000..12fe3e420
--- /dev/null
+++ b/tex/Makefile
@@ -0,0 +1,11 @@
+all:
+	latexmk iris -pdf
+
+pdflatex:
+	pdflatex main
+
+loop:
+	latexmk main -pdf -pvc
+
+clean:
+	latexmk -c
-- 
GitLab