Try better version

jcreedcmu · jcreedcmu · commit 332955907f6c · 2025-11-15T13:45:53.000-05:00
diff --git a/lakefile.toml b/lakefile.toml
@@ -18,7 +18,7 @@ git = "https://github.com/PatrickMassot/checkdecls.git"
 [[require]]
 name = "«doc-gen4»"
 git = "https://github.com/leanprover/doc-gen4"
-rev = "v4.25.0-rc2"
+rev = "v4.25.0"
 
 # path = "/home/jcreed/pgit/doc-gen4"
 
