From f48d1c519639eafcac1e9e5be8350859431c5b50 Mon Sep 17 00:00:00 2001
From: David Given <dg@cowlark.com>
Date: Wed, 2 Oct 2024 11:38:24 +0200
Subject: [PATCH] Add progress info to MKDOC.

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 8cde9a8b..1a9d3089 100644
--- a/Makefile
+++ b/Makefile
@@ -73,7 +73,7 @@ binaries: all
 tests: all
 	
 README.md: $(OBJ)/scripts/+mkdocindex/mkdocindex$(EXT)
-	@echo MKDOC $@
+	@echo $(PROGRESSINFO) MKDOC $@
 	@csplit -s -f$(OBJ)/README. README.md '/<!-- FORMATSSTART -->/' '%<!-- FORMATSEND -->%'
 	@(cat $(OBJ)/README.00 && $< && cat $(OBJ)/README.01) > README.md