From 5c05aca793147b7cf510e2c2e45971a89bf37785 Mon Sep 17 00:00:00 2001
From: Johannes Knoedtel <johannes.knoedtel@fau.de>
Date: Thu, 5 Oct 2017 13:53:26 +0200
Subject: [PATCH] put .PHONY rule at top of Makefile

---
 ThProg/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ThProg/Makefile b/ThProg/Makefile
index 75f29bc..d2ee4d9 100644
--- a/ThProg/Makefile
+++ b/ThProg/Makefile
@@ -1,3 +1,5 @@
+.PHONY: all continuous cleanup single clean rmpdf
+
 all: single
 	@-pdfunite Polynomordnung.pdf Konfluenz.pdf SystemF.pdf Koinduktion_reduktion.pdf Strukturelle_Induktion.pdf PumpingLemma.pdf ThProgCheatsheet.pdf
 
@@ -18,5 +20,3 @@ cleanup:
 
 %.pdf: %.tex
 	@latexmk -quiet -jobname=$(@:%.pdf=%) -pdf -halt-on-error $< 1>/dev/null
-
-.PHONY: all continuous cleanup single clean rmpdf