Merge pull request #4 from HEPLean/Workflows

Update lakefile.lean
HEPLean · Apr 17, 2024 · 2144447 · 2144447
2 parents 5d4aaec + cf8c79d
commit 2144447
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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"