From 36a53a9f5909ffa49ac8a20c0819ee643b0a61c1 Mon Sep 17 00:00:00 2001 From: Robert Alessi Date: Sun, 30 Sep 2018 18:25:59 +0200 Subject: added phony targets to makefile --- makefile | 2 ++ 1 file changed, 2 insertions(+) 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