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