diff --git a/DocGen4/Load.lean b/DocGen4/Load.lean
index fc2ef09..619ea7f 100644
--- a/DocGen4/Load.lean
+++ b/DocGen4/Load.lean
@@ -56,6 +56,6 @@ def load (task : Process.AnalyzeTask) : IO (Process.AnalyzerResult × Hierarchy)
   Prod.fst <$> Meta.MetaM.toIO (Process.process task) config { env := env } {} {}
 
 def loadCore : IO (Process.AnalyzerResult × Hierarchy) := do
-  load <| .loadAll [`Init, `Lean]
+  load <| .loadAll [`Init, `Lean, `Lake]
 
 end DocGen4