aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 38ec1a5..7f0ecf0 100644
--- a/Makefile
+++ b/Makefile
@@ -10,7 +10,7 @@ clean:
rm -rf \
.sentinel/ public/
-dev-check: check
+dev-check: check public
public:
generated by cgit v1.2.3 (git 2.49.0) at 2025-07-12 13:21:00 +0000