From 75d3dd19c40b7105db0353fe47cb021dbfeb4a5c Mon Sep 17 00:00:00 2001
From: Derek Miller <1340081+derek-miller@users.noreply.github.com>
Date: Tue, 11 Aug 2026 21:46:36 -0500
Subject: [PATCH] docs: drop stale CLAUDE.md claim that make help omits
 typecheck

---
 CLAUDE.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/CLAUDE.md b/CLAUDE.md
index c6c5b36..f6dc070 100644
--- a/CLAUDE.md
+++ b/CLAUDE.md
@@ -59,8 +59,7 @@ make build             # Build single-file distribution (build/crypto.lua)
 
 `make check` is the gate CI runs. `make all` is `format lint test build`, which
 rewrites `src/` in place and runs neither `format-check` nor `typecheck` — it is
-not a substitute for `check`. `make help` is stale on this point: it describes
-`check` as "format-check and lint" and omits typecheck.
+not a substitute for `check`.
 
 ### typecheck