From a5ed2619f074040ab9b83f1dfa3f6897fdba4ca3 Mon Sep 17 00:00:00 2001
From: Pietro Monticone <38562595+pitmonticone@users.noreply.github.com>
Date: Mon, 9 Sep 2024 23:32:46 +0200
Subject: [PATCH] Bump doc-gen4

---
 lake-manifest.json | 82 +++++++++++++++++++++++-----------------------
 1 file changed, 41 insertions(+), 41 deletions(-)

diff --git a/lake-manifest.json b/lake-manifest.json
index 4975562c..124f793c 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "8feac540abb781cb1349688c816dc02fae66b49c",
+   "rev": "d11566f4c8ca80dbe87630b606c608274c7380fd",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -65,7 +65,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "3fecb249afcf5ba40efe0a3f92f69e2460f142c7",
+   "rev": "d9a27f6094744c840dc41eee71fb4b606a61ddb7",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": null,
@@ -81,45 +81,45 @@
    "inputRev": null,
    "inherited": false,
    "configFile": "lakefile.lean"},
-   {"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": "5c11428272fe190b7e726ebe448f93437d057b74",
-    "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": "bd8747df9ee72fca365efa5bd3bd0d8dcd083b9f",
-    "name": "BibtexQuery",
-    "manifestFile": "lake-manifest.json",
-    "inputRev": "master",
-    "inherited": true,
-    "configFile": "lakefile.lean"},
-   {"url": "https://github.com/leanprover/doc-gen4",
-    "type": "git",
-    "subDir": null,
-    "scope": "",
-    "rev": "6d8e3118ab526f8dfcabcbdf9f05dc34e5c423a8",
-    "name": "«doc-gen4»",
-    "manifestFile": "lake-manifest.json",
-    "inputRev": "main",
-    "inherited": false,
+  {"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": "7afce91e4fcee25c1ed06dca8d71b82bed396776",
+   "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": "0a294fe9bf23b396c5cc955054c50b9b652ec5ad",
+   "name": "BibtexQuery",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "master",
+   "inherited": true,
+   "configFile": "lakefile.lean"},
+  {"url": "https://github.com/leanprover/doc-gen4",
+   "type": "git",
+   "subDir": null,
+   "scope": "",
+   "rev": "1b0072fea2aa6a0ef8ef8b506ec5223b184cb4d0",
+   "name": "«doc-gen4»",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "main",
+   "inherited": false,
    "configFile": "lakefile.lean"}],
  "name": "FLT",
  "lakeDir": ".lake"}