diff --git a/Public/thprog/Makefile b/Public/thprog/Makefile
index 0ac1fcd..89fe154 100644
--- a/Public/thprog/Makefile
+++ b/Public/thprog/Makefile
@@ -1,22 +1,11 @@
-PDF = Konfluenz Koinduktion_reduktion Struckturelle_Induktion Polynomordnung SystemF
-
-all: $(PDF) 
+all: Konfluenz.pdf Koinduktion_reduktion.pdf Struckturelle_Induktion.pdf Polynomordnung.pdf SystemF.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
+.PHONY: all continuous