From 43d30441447b3b8da2ae24e2091751feb743640c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20B=C3=B6ving?= <hargonix@gmail.com>
Date: Wed, 25 Dec 2024 21:47:27 +0100
Subject: [PATCH] chore: more precise build logs

---
 lakefile.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lakefile.lean b/lakefile.lean
index aef63a5..7075abe 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -252,7 +252,7 @@ library_facet docsHeader (lib) : FilePath := do
       moduleJobs.bindSync fun _ inputTrace => do
         let depTrace := mixTraceArray #[inputTrace, exeTrace, coreInputTrace]
         let trace ← buildFileUnlessUpToDate dataFile depTrace do
-          logInfo "Documentation indexing"
+          logInfo "Documentation header indexing"
           proc {
             cmd := exeFile.toString
             args := #["headerData", "--build", buildDir.toString]