From 17b38f17669bcd61f44877378f3bca3e3bc0e649 Mon Sep 17 00:00:00 2001
From: Floris van Doorn <fpvdoorn@gmail.com>
Date: Sun, 9 Jun 2024 23:01:46 +0200
Subject: [PATCH] hopefully fix documentation build

---
 lake-manifest.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lake-manifest.json b/lake-manifest.json
index 33d46a34..06681367 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -76,7 +76,7 @@
   {"url": "https://github.com/fgdorais/lean4-unicode-basic",
    "type": "git",
    "subDir": null,
-   "rev": "effd8b8771cfd7ece69db99448168078e113c61f",
+   "rev": "ef8b0ae5d48e7d5f5d538bf8d66f6cdc7daba296",
    "name": "UnicodeBasic",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -94,7 +94,7 @@
   {"url": "https://github.com/leanprover/doc-gen4",
    "type": "git",
    "subDir": null,
-   "rev": "1cae40a2dd0dca57030385ff53d72c3aa7b27f2b",
+   "rev": "4e570fed8c4147bdafbd5eada08503ed307252e0",
    "name": "«doc-gen4»",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",