add .PHONY targets to make

see https://www.gnu.org/software/make/manual/html_node/Phony-Targets.html for an explanation why this is useful
kmsouthard · Jul 22, 2014 · 792ad47 · 792ad47
1 parent c8a8bd6
commit 792ad47
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -181,3 +181,6 @@ ipynb :
 	make -f ipynb.mk
 
 ## ---------------------------------------
+
+
+.PHONY: all book check clean commands contribs epub fixme gloss install ipynb site tidy