fix docgen4

LizBonn · Jun 9, 2024 · d1f91c4 · d1f91c4
1 parent 49fef90
commit d1f91c4
Show file tree

Hide file tree

Showing 2 changed files with 37 additions and 1 deletion.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -81,6 +81,42 @@
    "manifestFile": "lake-manifest.json",
    "inputRev": null,
    "inherited": false,
+   "configFile": "lakefile.lean"},
+  {"url": "https://github.com/xubaiw/CMark.lean",
+   "type": "git",
+   "subDir": null,
+   "rev": "ba7b47bd773954b912ecbf5b1c9993c71a166f05",
+   "name": "CMark",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "main",
+   "inherited": true,
+   "configFile": "lakefile.lean"},
+  {"url": "https://github.com/fgdorais/lean4-unicode-basic",
+   "type": "git",
+   "subDir": null,
+   "rev": "effd8b8771cfd7ece69db99448168078e113c61f",
+   "name": "UnicodeBasic",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "main",
+   "inherited": true,
+   "configFile": "lakefile.lean"},
+  {"url": "https://github.com/hargonix/LeanInk",
+   "type": "git",
+   "subDir": null,
+   "rev": "f1f904e00d79a91ca6a76dec6e318531a7fd2a0f",
+   "name": "leanInk",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "doc-gen",
+   "inherited": true,
+   "configFile": "lakefile.lean"},
+  {"url": "https://github.com/leanprover/doc-gen4",
+   "type": "git",
+   "subDir": null,
+   "rev": "c7f4ac84b973b6efd8f24ba2b006cad1b32c9c53",
+   "name": "«doc-gen4»",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "c7f4ac84b973b6efd8f24ba2b006cad1b32c9c53",
+   "inherited": false,
    "configFile": "lakefile.lean"}],
  "name": "RamificationGroup",
  "lakeDir": ".lake"}
diff --git a/lakefile.lean b/lakefile.lean
@@ -19,4 +19,4 @@ require mathlib from git "https://github.com/leanprover-community/mathlib4"@"mas
 require local_class_field_theory from git "https://github.com/mariainesdff/LocalClassFieldTheory.git"
 
 meta if get_config? env = some "dev" then -- dev is so not everyone has to build it
-require «doc-gen4» from git "https://github.com/leanprover/doc-gen4" @ "main"
+require «doc-gen4» from git "https://github.com/leanprover/doc-gen4" @ "c7f4ac84b973b6efd8f24ba2b006cad1b32c9c53"