From ff0986ba65df664725a6ee0bfc31ba7e3299dc79 Mon Sep 17 00:00:00 2001
From: Kim Morrison <kim@tqft.net>
Date: Sun, 5 Jan 2025 09:15:13 +1100
Subject: [PATCH] chore: temporarily switch to fork of md4lean

---
 lake-manifest.json | 8 ++++----
 lakefile.lean      | 5 ++++-
 2 files changed, 8 insertions(+), 5 deletions(-)

diff --git a/lake-manifest.json b/lake-manifest.json
index 81defe0..23be362 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -15,7 +15,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "470c41643209208d325a5a7315116f293c7443fb",
+   "rev": "51b0cd28a0ca79ccfa91b8c7d5eb94ba075dfdb4",
    "name": "UnicodeBasic",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -31,14 +31,14 @@
    "inputRev": "master",
    "inherited": false,
    "configFile": "lakefile.lean"},
-  {"url": "https://github.com/acmepjz/md4lean",
+  {"url": "https://github.com/kim-em/md4lean",
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "f8ed91f3a9d806648ae6a03ab98c8b87e8bedc7e",
+   "rev": "17e3f60bca8b6fdc19a55e2a7c9840a9f7afd1dc",
    "name": "MD4Lean",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "main",
+   "inputRev": "bump_to_v4.16.0-rc1",
    "inherited": false,
    "configFile": "lakefile.lean"}],
  "name": "«doc-gen4»",
diff --git a/lakefile.lean b/lakefile.lean
index 00d8084..07fad1a 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -12,7 +12,10 @@ lean_exe «doc-gen4» {
 }
 
 require MD4Lean from git
-  "https://github.com/acmepjz/md4lean" @ "main"
+  -- This should be the original version:
+  -- "https://github.com/acmepjz/md4lean" @ "main"
+  -- but as we don't have write access to that repo we are temporarily using this fork:
+  "https://github.com/kim-em/md4lean" @ "bump_to_v4.16.0-rc1"
 
 require BibtexQuery from git
   "https://github.com/dupuisf/BibtexQuery" @ "master"