From 4e76908373cc37b287908a43cdc6727f7f3d1362 Mon Sep 17 00:00:00 2001
From: Hans Unzner <hansunzner@gmail.com>
Date: Wed, 3 Jun 2026 12:27:01 +0200
Subject: [PATCH] docs: proper output when building man pages

---
 docs/src/Submakefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/src/Submakefile b/docs/src/Submakefile
index 7611b346612..d6bcad7d46c 100644
--- a/docs/src/Submakefile
+++ b/docs/src/Submakefile
@@ -608,12 +608,12 @@ $(foreach L,$(LANGUAGES), \
 # sits at docs/build/html/<lang>/man/manN/X.html (4 levels under html/).
 define MAN_HTML_RULE
 $(DOC_OUT_HTML)/$(1)/man/%.html: $(2)/% $(DOC_SRCDIR)/docinfo.html
-	@$$(ECHO) Formatting $$(notdir $$<) as HTML
 	@mkdir -p $$(dir $$@)
 	$$(Q)if grep -q '^\.so' $$<; then \
 		ln -srf $$(DOC_OUT_HTML)/$(1)/man/$$$$(basename $$$$(dirname $$<))/$$$$(basename $$$$(awk '{print $$$$2}' $$<)).html $$@; \
 	else \
 		N="$$$$(basename "$$<").adoc"; \
+		echo "Formatting $$$$N as HTML"; \
 		D="$$$$(dirname "$$<")"; \
 		S="$$$$(basename "$$$$D")"; \
 		if [ -r "$(3)/man/$$$$S/$$$$N" ]; then \