diff --git a/Vorlesungen/ThProg/Makefile b/Vorlesungen/ThProg/Makefile
index 88ae73f..5665b93 100644
--- a/Vorlesungen/ThProg/Makefile
+++ b/Vorlesungen/ThProg/Makefile
@@ -4,6 +4,9 @@ continuous: $(PDF).continuous
 
 cleanup: 
 	-rm -f *.aux *.fdb_latexmk *.fls *.log
+single: all
+	-pdftk Polynomordnung.pdf Konfluenz.pdf SystemF.pdf Koinduktion_reduktion.pdf Strukturelle_Induktion.pdf cat output newfile.pdf
+	
 
 %.continuous: %.pdf
 	latexmk -jobname=$(@:%.continuous=%) -pvc -pdf $(@:%.continuous=%).tex
@@ -11,4 +14,4 @@ cleanup:
 %.pdf: %.tex
 	latexmk -jobname=$(@:%.pdf=%) -pdf $<
 
-.PHONY: all continuous cleanup
+.PHONY: all continuous cleanup single
diff --git a/Vorlesungen/ThProg/SystemF.tex b/Vorlesungen/ThProg/SystemF.tex
index c51efbd..30085e7 100644
--- a/Vorlesungen/ThProg/SystemF.tex
+++ b/Vorlesungen/ThProg/SystemF.tex
@@ -1,4 +1,4 @@
-	\documentclass{article}
+	\documentclass{article}	
 	\usepackage{amsmath}
 	\usepackage{nccmath}
 	%\usepackage{bussproofs}