From 88e41842af2edc8a3b9ad3ee074057efc3739b0f Mon Sep 17 00:00:00 2001
From: Robert Alessi <alessi@robertalessi.net>
Date: Sun, 30 Sep 2018 10:54:08 +0200
Subject: makefile: added phony targets

---
 makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/makefile b/makefile
index eba7b62..83adabd 100644
--- a/makefile
+++ b/makefile
@@ -21,3 +21,5 @@ clean:
 	cp -p -r .backup/* .
 	rm -rf .backup
 	pandoc -s README.tex -o README.md && sed -i 's/{#.*}//g' README.md && sed -i "s/’/\'/g" README.md
+
+.PHONY: all pdf clean
-- 
cgit v1.2.3