aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorwinter Sparkles2026-08-04 19:24:53 +0100
committerwinter Sparkles2026-08-04 19:24:53 +0100
commit318b89695123bd259a7743711f37093ce8c32399 (patch)
tree907c5bebc17a6fdf36014a416708900262c1dd39
parent3c37b1b00f9d345ad1d036c8ef6a04cf633d3f5f (diff)
oops 'install' is also phonyHEADmain
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 0ed3e43..3bf9779 100644
--- a/Makefile
+++ b/Makefile
@@ -13,4 +13,4 @@ install: tangle
cp -aiuv sys/* /
./run-install-scripts
-.PHONY: all tangle
+.PHONY: all tangle install