From af741b7ef0c6c1a6f0ee21cc74f6262d38482636 Mon Sep 17 00:00:00 2001 From: Sheppy Date: Wed, 7 Oct 2015 21:19:24 +0200 Subject: [PATCH] makefile fixed --- Vorlesungen/ThProg/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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