diff --git a/DocGen4/Load.lean b/DocGen4/Load.lean
index 0767545..1dd0717 100644
--- a/DocGen4/Load.lean
+++ b/DocGen4/Load.lean
@@ -45,6 +45,7 @@ def lakeSetupSearchPath (lakePath : System.FilePath) (imports : Array String) :
 def load (imports : List Name) : IO AnalyzerResult := do
   let env ← importModules (List.map (Import.mk · false) imports) Options.empty
   -- TODO parameterize maxHeartbeats
+  IO.println "Processing modules"
   let res ← Prod.fst <$> (Meta.MetaM.toIO process { maxHeartbeats := 100000000} { env := env} {} {})
   return res
 
diff --git a/Main.lean b/Main.lean
index cdae0ee..bc5c77a 100644
--- a/Main.lean
+++ b/Main.lean
@@ -8,4 +8,5 @@ def main (args : List String) : IO Unit := do
   let path ← lakeSetupSearchPath (←getLakePath) modules.toArray
   IO.println s!"Loading modules from: {path}"
   let doc ← load $ modules.map Name.mkSimple
+  IO.println "Outputting HTML"
   htmlOutput doc