From 5d231341042a2e5bd2835a30d3ac4085de02e002 Mon Sep 17 00:00:00 2001
From: Tobias Grosser <tobias@grosser.es>
Date: Tue, 24 Oct 2023 14:16:23 +0100
Subject: [PATCH] update doc-gen4

---
 lakefile.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lakefile.lean b/lakefile.lean
index b4b6f5a6e..24263bc58 100644
--- 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"