minor edit

loganrjmurphy · May 28, 2024 · ad0bed6 · ad0bed6
1 parent 3076b1e
commit ad0bed6
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/lakefile.lean b/lakefile.lean
@@ -61,9 +61,3 @@ script aggregate do
   println! codeAll
 
   return 0
-
-require checkdecls from git "https://github.com/PatrickMassot/checkdecls.git"
-
-meta if get_config? env = some "dev" then
-require «doc-gen4» from git
-  "https://github.com/leanprover/doc-gen4" @ "main"