Update lakefile.lean

leanprover-community · Oct 23, 2023 · 58c147f · 58c147f
1 parent 17f03b6
commit 58c147f
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/lakefile.lean b/lakefile.lean
@@ -8,6 +8,9 @@ package «flt-regular» {
 require mathlib from git
   "https://github.com/leanprover-community/mathlib4.git"
 
+require «doc-gen4» from git
+  "https://github.com/leanprover/doc-gen4" @ "main"
+
 @[default_target]
 lean_lib «FltRegular» {
   -- add any library configuration options here