From 58c147f56142d161f74c8b9be4a78410a8189a12 Mon Sep 17 00:00:00 2001
From: Riccardo Brasca <riccardo.brasca@gmail.com>
Date: Mon, 23 Oct 2023 17:31:46 +0200
Subject: [PATCH] Update lakefile.lean

---
 lakefile.lean | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/lakefile.lean b/lakefile.lean
index fd85dd3b..758848d5 100644
--- 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