Remove unused SPHINXLINT var from Doc/Makefile. (python#110570)

ezio-melotti · Glyphack · commit 3f84b4b16bc3 · 2024-01-27T10:36:21.000+01:00
Remove unused `SPHINXLINT` var.
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        =
