From 36a53a9f5909ffa49ac8a20c0819ee643b0a61c1 Mon Sep 17 00:00:00 2001
From: Robert Alessi <alessi@robertalessi.net>
Date: Sun, 30 Sep 2018 18:25:59 +0200
Subject: added phony targets to makefile

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

(limited to 'makefile')

diff --git a/makefile b/makefile
index 45cf91c..4a786b5 100644
--- a/makefile
+++ b/makefile
@@ -64,3 +64,5 @@ clean:
 	rm -rf saved/
 	pandoc -s README.tex -o README.md && sed -i 's/{#.*}//g' README.md
 	pandoc -s README.tex -o about.html
+
+.PHONY: sty doc all local auctex package clean
-- 
cgit v1.2.3