From cf8c79d56c1ebb5a75e9725ea9800aa05a9be932 Mon Sep 17 00:00:00 2001
From: jstoobysmith <72603918+jstoobysmith@users.noreply.github.com>
Date: Wed, 17 Apr 2024 08:02:26 -0400
Subject: [PATCH] Update lakefile.lean

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

diff --git a/lakefile.lean b/lakefile.lean
index e0446c68..0fed3d47 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -12,3 +12,6 @@ require mathlib from git
 lean_lib «HepLean» {
   -- add any library configuration options here
 }
+
+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"