From 36e1b863a7ce7a3106721bc02a0518d4f7447845 Mon Sep 17 00:00:00 2001
From: Henrik <hargonix@gmail.com>
Date: Sat, 9 Sep 2023 23:59:25 +0200
Subject: [PATCH] chore: remove pointless prints

---
 DocGen4/Load.lean   | 1 -
 DocGen4/Output.lean | 1 -
 Main.lean           | 2 --
 3 files changed, 4 deletions(-)

diff --git a/DocGen4/Load.lean b/DocGen4/Load.lean
index 619ea7f..947e48a 100644
--- a/DocGen4/Load.lean
+++ b/DocGen4/Load.lean
@@ -43,7 +43,6 @@ to process for documentation.
 -/
 def load (task : Process.AnalyzeTask) : IO (Process.AnalyzerResult × Hierarchy) := do
   let env ← envOfImports task.getLoad
-  IO.println "Processing modules"
   let config := {
     -- TODO: parameterize maxHeartbeats
     maxHeartbeats := 100000000,
diff --git a/DocGen4/Output.lean b/DocGen4/Output.lean
index 4e3f32d..84eb05f 100644
--- a/DocGen4/Output.lean
+++ b/DocGen4/Output.lean
@@ -109,7 +109,6 @@ def htmlOutputResults (baseConfig : SiteBaseContext) (result : AnalyzerResult) (
     FS.writeFile filePath moduleHtml.toString
     if ink then
       if let some inputPath ← Lean.SearchPath.findModuleWithExt sourceSearchPath "lean" module.name then
-        IO.println s!"Inking: {modName.toString}"
         -- path: 'basePath/src/module/components/till/last.html'
         -- The last component is the file name, however we are in src/ here so dont drop it this time
         let baseConfig := {baseConfig with depthToRoot := modName.components.length }
diff --git a/Main.lean b/Main.lean
index 5758b8d..af85c9d 100644
--- a/Main.lean
+++ b/Main.lean
@@ -16,7 +16,6 @@ def runSingleCmd (p : Parsed) : IO UInt32 := do
   match res with
   | Except.ok ws =>
     let (doc, hierarchy) ← load <| .loadAllLimitAnalysis relevantModules
-    IO.println "Outputting HTML"
     let baseConfig ← getSimpleBaseContext hierarchy
     htmlOutputResults baseConfig doc ws (p.hasFlag "ink")
     return 0
@@ -33,7 +32,6 @@ def runGenCoreCmd (_p : Parsed) : IO UInt32 := do
   match res with
   | Except.ok ws =>
     let (doc, hierarchy) ← loadCore
-    IO.println "Outputting HTML"
     let baseConfig ← getSimpleBaseContext hierarchy
     htmlOutputResults baseConfig doc ws (ink := False) 
     return 0