[3.12] Remove unused `SPHINXLINT` var from `Doc/Makefile`. (GH-110570) #110585

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged

ezio-melotti merged 1 commit into python:3.12 from miss-islington:backport-bdbe43c-3.12

Oct 10, 2023

Doc/Makefile

-Original file line number
+Diff line change
@@ Expand Up / @@ -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        =
@@ Expand Down @@