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