From 858daa35dc603d54020c804fd711d9e222794432 Mon Sep 17 00:00:00 2001
From: Christoph Egger <Christoph.Egger@informatik.uni-erlangen.de>
Date: Mon, 21 Mar 2011 22:04:34 +0100
Subject: [PATCH] add makefile

---
 Makefile | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 Makefile

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..43f8d46
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,4 @@
+SOURCES=$(shell find . -name '*.tex')
+
+lit.pdf: $(SOURCES)
+	latexmk -g -pdf lit
-- 
2.39.2