update doc-gen4

opencompl · Oct 24, 2023 · 5d23134 · 5d23134
1 parent f0d964b
commit 5d23134
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lakefile.lean b/lakefile.lean
@@ -44,4 +44,4 @@ require Cli from git "https://github.com/mhuisi/lean4-cli.git" @ "nightly"
 require partax from git "https://github.com/tydeu/lean4-partax" @ "master"
 
 meta if get_config? env = some "dev" then -- dev is so not everyone has to build it
-  require «doc-gen4» from git "https://github.com/leanprover/doc-gen4" @ "0f1b99c"
+  require «doc-gen4» from git "https://github.com/leanprover/doc-gen4" @ "8bccb92b531248af1b6692d65486e8640c8bcd10"