From da9a29b9989bdf858692bdfea14d9ece38554fc9 Mon Sep 17 00:00:00 2001
From: Alissa Tung <alissa-tung@outlook.com>
Date: Thu, 20 Mar 2025 17:29:08 +0800
Subject: [PATCH] chore: fix doc

---
 lake-manifest.json | 32 +++++++++++++++++++++++++++++++-
 1 file changed, 31 insertions(+), 1 deletion(-)

diff --git a/lake-manifest.json b/lake-manifest.json
index 3aa2db5..f0afaa7 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -91,7 +91,37 @@
    "inputRev": "v4.13.0",
    "inherited": false,
    "configFile": "lakefile.lean"},
-   {"url": "https://github.com/leanprover/doc-gen4.git",
+  {"url": "https://github.com/acmepjz/md4lean",
+   "type": "git",
+   "subDir": null,
+   "scope": "",
+   "rev": "5e95f4776be5e048364f325c7e9d619bb56fb005",
+   "name": "MD4Lean",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "main",
+   "inherited": true,
+   "configFile": "lakefile.lean"},
+  {"url": "https://github.com/fgdorais/lean4-unicode-basic",
+   "type": "git",
+   "subDir": null,
+   "scope": "",
+   "rev": "107e98b3e7603628d9bfd817b4704488d8a25e96",
+   "name": "UnicodeBasic",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "main",
+   "inherited": true,
+   "configFile": "lakefile.lean"},
+  {"url": "https://github.com/dupuisf/BibtexQuery",
+   "type": "git",
+   "subDir": null,
+   "scope": "",
+   "rev": "bdc2fc30b1e834b294759a5d391d83020a90058e",
+   "name": "BibtexQuery",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "master",
+   "inherited": true,
+   "configFile": "lakefile.lean"},
+  {"url": "https://github.com/leanprover/doc-gen4.git",
    "type": "git",
    "subDir": null,
    "scope": "",