rebase doc-gen4 patch

mo271 · mo271 · commit 63b51e85654f · 2025-08-19T14:38:41.000+02:00
diff --git a/docbuild/lakefile.toml b/docbuild/lakefile.toml
@@ -10,8 +10,8 @@ path = "../"
 # using fork here, because it contains a backported fix. Can be dropped after bump to v4.20.0
 [[require]]
 name = "doc-gen4"
-git = "https://github.com/eric-wieser/doc-gen4"
-rev = "3502f05c27ca650492c945307874755a8c2b42e3"
+git = "https://github.com/mo271/doc-gen4"
+rev = "b760b91540bcf92c2ab6ac2bc28207e090769da8"
 
 [[lean_exe]]
 name = "overwrite_index"
