diff --git a/Vorlesungen/ThProg/Makefile b/Vorlesungen/ThProg/Makefile index 89fe154..503a7fb 100644 --- a/Vorlesungen/ThProg/Makefile +++ b/Vorlesungen/ThProg/Makefile @@ -1,4 +1,4 @@ -all: Konfluenz.pdf Koinduktion_reduktion.pdf Struckturelle_Induktion.pdf Polynomordnung.pdf SystemF.pdf +all: Konfluenz.pdf Koinduktion_reduktion.pdf Strukturelle_Induktion.pdf Polynomordnung.pdf SystemF.pdf continuous: $(PDF).continuous