diff --git a/lake-manifest.json b/lake-manifest.json
index 292612f..125e9cf 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": "1333269547cdd3f297cf9097fb124ae7c413dd00",
+    "rev": "ef54a19e670a19ee2a17a3bc70bfe4006b8e2a7a",
     "name": "doc-gen4",
-    "inputRev?": "1333269547cdd3f297cf9097fb124ae7c413dd00"}},
+    "inputRev?": "ef54a19e670a19ee2a17a3bc70bfe4006b8e2a7a"}},
   {"git":
    {"url": "https://github.com/mhuisi/lean4-cli",
     "subDir?": null,
diff --git a/lakefile.lean b/lakefile.lean
index dee9644..9fe2438 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" @
-    "1333269547cdd3f297cf9097fb124ae7c413dd00"
+    "ef54a19e670a19ee2a17a3bc70bfe4006b8e2a7a"
 
 @[default_target]
 lean_lib «Bookshelf» {