From f63a89bb8c494ea6b049285ec7c904d6d6136a88 Mon Sep 17 00:00:00 2001
From: Luke Shumaker <lukeshu@sbcglobal.net>
Date: Mon, 9 Jan 2017 16:18:43 -0500
Subject: fix Makefile

---
 Makefile | 21 ++++++++++++---------
 1 file changed, 12 insertions(+), 9 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 678274e..92c3868 100644
--- a/Makefile
+++ b/Makefile
@@ -2,24 +2,27 @@ MAKEFLAGS += -j1
 
 # Default target
 all: out/index.html
-.PHONY: all
+phony += all
 
-# For real files, just let the ./make script take care of it.
-$(sort out/index.html $(MAKECMDGOALS)): FORCE
-	./make
+# Boilerplate
+phony += FORCE
+.DELETE_ON_ERROR:
+.SECONDARY:
 
 # Development server
 serve: serve-8000
 serve-%: all
 	dir=$$(mktemp -d -t) && trap 'fusermount -u "$$dir"; rmdir "$$dir"' EXIT && unionfs -o ro out:src "$$dir" && (cd "$$dir" && python3 -m http.server $*)
-.PHONY: serve serve-%
+phony += serve serve-%
 
 # Clean
 clean:
 	rm -rf out
-.PHONY: clean
+phony += clean
+
+# For real files, just let the ./make script take care of it.
+$(sort out/index.html $(filter-out $(phony),$(MAKECMDGOALS))): FORCE
+	./make
 
 # Boilerplate
-.PHONY: FORCE
-.DELETE_ON_ERROR:
-.SECONDARY:
+.PHONY: $(phony)
-- 
cgit v1.2.3-54-g00ecf