From 7f8bdddd7c74dda46b86062f3e683fba5bee5658 Mon Sep 17 00:00:00 2001
From: Sheppy <jupiterfisch@web.de>
Date: Wed, 7 Oct 2015 16:36:46 +0200
Subject: [PATCH] Makefilen und gitignore

---
 Public/thprog/.gitignore | 10 ++++++++++
 Public/thprog/Makefile   | 22 ++++++++++++++++++++++
 2 files changed, 32 insertions(+)
 create mode 100644 Public/thprog/.gitignore
 create mode 100644 Public/thprog/Makefile

diff --git a/Public/thprog/.gitignore b/Public/thprog/.gitignore
new file mode 100644
index 0000000..c2ef30e
--- /dev/null
+++ b/Public/thprog/.gitignore
@@ -0,0 +1,10 @@
+*.aux
+*.toc
+*.out
+*.pdf
+*.log
+*.fls
+*.fdb_latexmk
+.*.swp
+*id_rsa*
+*.gz
diff --git a/Public/thprog/Makefile b/Public/thprog/Makefile
new file mode 100644
index 0000000..0ac1fcd
--- /dev/null
+++ b/Public/thprog/Makefile
@@ -0,0 +1,22 @@
+PDF = Konfluenz Koinduktion_reduktion Struckturelle_Induktion Polynomordnung SystemF
+
+all: $(PDF) 
+
+continuous: $(PDF).continuous 
+
+%.continuous: %.pdf
+	latexmk -jobname=$(@:%.continuous=%) -pvc -pdf $(@:%.continuous=%).tex
+
+$(PDF): $(PDF).pdf
+
+%.pdf: %.tex
+	latexmk -jobname=$(@:%.pdf=%) -pdf $<
+
+clean:
+	latexmk -c -f $(PDF).tex
+
+distclean: 
+	latexmk -C -f $(PDF).tex
+	rm -f $(PDF).pdf 
+
+.PHONY: all clean distclean $(PDF) continuous