From 5af05d384a3e8113df58e471332e5b3725cdc8bc Mon Sep 17 00:00:00 2001
From: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com>
Date: Sun, 27 Apr 2025 19:04:39 +0300
Subject: [PATCH] Don't repeat what Sphinx now outputs

---
 docs/Makefile | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/docs/Makefile b/docs/Makefile
index c7f0377bc..ce19cbbb6 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -41,24 +41,18 @@ install-sphinx:
 html:
 	$(MAKE) install-sphinx
 	$(SPHINXBUILD) --fail-on-warning --keep-going $(ALLSPHINXOPTS)
-	@echo
-	@echo "Build finished. The HTML pages are in $(BUILDDIR)/html."
 
 .PHONY: dirhtml
 dirhtml: BUILDER = dirhtml
 dirhtml:
 	$(MAKE) install-sphinx
 	$(SPHINXBUILD) $(ALLSPHINXOPTS)
-	@echo
-	@echo "Build finished. The HTML pages are in $(BUILDDIR)/dirhtml."
 
 .PHONY: singlehtml
 singlehtml: BUILDER = singlehtml
 singlehtml:
 	$(MAKE) install-sphinx
 	$(SPHINXBUILD) $(ALLSPHINXOPTS)
-	@echo
-	@echo "Build finished. The HTML page is in $(BUILDDIR)/singlehtml."
 
 .PHONY: linkcheck
 linkcheck: BUILDER = linkcheck