Missing file (#134)

pandaman64 · web-flow · commit f24962596f62 · 2025-10-15T10:55:15.000Z
diff --git a/docbuild/lakefile.toml b/docbuild/lakefile.toml
@@ -10,4 +10,4 @@ path = "../correctness"
 [[require]]
 scope = "leanprover"
 name = "doc-gen4"
-rev = "v4.24.0-rc1"
+rev = "v4.24.0"
