summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile23
1 files changed, 22 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 352236b..678274e 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,25 @@
MAKEFLAGS += -j1
-%:
+# Default target
+all: out/index.html
+.PHONY: all
+
+# For real files, just let the ./make script take care of it.
+$(sort out/index.html $(MAKECMDGOALS)): FORCE
./make
+
+# 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-%
+
+# Clean
+clean:
+ rm -rf out
+.PHONY: clean
+
+# Boilerplate
+.PHONY: FORCE
+.DELETE_ON_ERROR:
+.SECONDARY: