docbuild version

fpvandoorn · fpvandoorn · commit b025a10f1e05 · 2025-03-04T12:44:06.000+01:00
diff --git a/docbuild/lakefile.toml b/docbuild/lakefile.toml
@@ -12,4 +12,4 @@ scope = "leanprover"
 name = "doc-gen4"
 # If you are developing against a release candidate or a stable version `v4.x`, replace `main` below by `v4.x`.
 # If you do not use `main` keep in mind to update this field as you update your Lean version.
-rev = "main"
+rev = "v4.17.0"
