From 88e41842af2edc8a3b9ad3ee074057efc3739b0f Mon Sep 17 00:00:00 2001 From: Robert Alessi Date: Sun, 30 Sep 2018 10:54:08 +0200 Subject: makefile: added phony targets --- makefile | 2 ++ 1 file changed, 2 insertions(+) (limited to 'makefile') 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