Remove unused SPHINXLINT var from Doc/Makefile. (GH-110570)

ezio-melotti · miss-islington · commit c77ef7b1c53d · 2023-10-09T22:30:31.000Z
Remove unused `SPHINXLINT` var. (cherry picked from commit bdbe43c) Co-authored-by: Ezio Melotti <ezio.melotti@gmail.com>
diff --git a/Doc/Makefile b/Doc/Makefile
@@ -7,7 +7,6 @@
 PYTHON       = python3
 VENVDIR      = ./venv
 SPHINXBUILD  = PATH=$(VENVDIR)/bin:$$PATH sphinx-build
-SPHINXLINT   = PATH=$(VENVDIR)/bin:$$PATH sphinx-lint
 BLURB        = PATH=$(VENVDIR)/bin:$$PATH blurb
 JOBS         = auto
 PAPER        =
