From eb99f7263465add584fcec81c06e83f62452c6f6 Mon Sep 17 00:00:00 2001
From: Johannes Knoedtel <johannes.knoedtel@fau.de>
Date: Thu, 5 Oct 2017 13:59:09 +0200
Subject: [PATCH] clean should not depend on all

---
 ThProg/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ThProg/Makefile b/ThProg/Makefile
index f366443..5156e5b 100644
--- a/ThProg/Makefile
+++ b/ThProg/Makefile
@@ -7,7 +7,7 @@ single: Konfluenz.pdf Koinduktion_reduktion.pdf Strukturelle_Induktion.pdf Polyn
 
 continuous: $(PDF).continuous
 
-clean: cleanup rmpdf all
+clean: cleanup rmpdf
 
 rmpdf:
 	@-rm -f *.pdf