From fe1934c91e6a23b392871c01abf0b1e5f73d041e Mon Sep 17 00:00:00 2001
From: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com>
Date: Sun, 27 Apr 2025 19:19:32 +0300
Subject: [PATCH] Replace duplicate calls with html target

---
 docs/Makefile | 11 +++--------
 1 file changed, 3 insertions(+), 8 deletions(-)

diff --git a/docs/Makefile b/docs/Makefile
index 30761b5e0..c73471496 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -46,21 +46,16 @@ html:
 
 .PHONY: dirhtml
 dirhtml: BUILDER = dirhtml
-dirhtml:
-	$(MAKE) install-sphinx
-	$(SPHINXBUILD) $(ALLSPHINXOPTS)
+dirhtml: html
 
 .PHONY: singlehtml
 singlehtml: BUILDER = singlehtml
-singlehtml:
-	$(MAKE) install-sphinx
-	$(SPHINXBUILD) $(ALLSPHINXOPTS)
+singlehtml: html
 
 .PHONY: linkcheck
 linkcheck: BUILDER = linkcheck
+linkcheck: html
 linkcheck:
-	$(MAKE) install-sphinx
-	$(SPHINXBUILD) $(ALLSPHINXOPTS)
 	@echo
 	@echo "Link check complete; look for any errors in the above output " \
 	      "or in $(BUILDDIR)/linkcheck/output.txt."