Add progress info to MKDOC.

davidgiven · Oct 2, 2024 · f48d1c5 · f48d1c5
1 parent cee893b
commit f48d1c5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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