diff --git a/lake-manifest.json b/lake-manifest.json
index 580bec3..ba74076 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -16,9 +16,9 @@
   {"git":
    {"url": "https://github.com/jrpotter/bookshelf-docgen.git",
     "subDir?": null,
-    "rev": "3facb4b93ec5b9227b013287de8c837912e814ef",
+    "rev": "1de3481afd987d6b6dbd76245ed3c3eba1d6e680",
     "name": "doc-gen4",
-    "inputRev?": "3facb4b93ec5b9227b013287de8c837912e814ef"}},
+    "inputRev?": "1de3481afd987d6b6dbd76245ed3c3eba1d6e680"}},
   {"git":
    {"url": "https://github.com/mhuisi/lean4-cli",
     "subDir?": null,
diff --git a/lakefile.lean b/lakefile.lean
index b69cc27..b473370 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -12,7 +12,7 @@ require std4 from git
     "6006307d2ceb8743fea7e00ba0036af8654d0347"
 require «doc-gen4» from git
   "https://github.com/jrpotter/bookshelf-docgen.git" @
-    "3facb4b93ec5b9227b013287de8c837912e814ef"
+    "1de3481afd987d6b6dbd76245ed3c3eba1d6e680"
 
 @[default_target]
 lean_lib «Bookshelf» {