From: Miss Islington (bot) <31488909+miss-islington@users.noreply.github.com>
Date: Tue, 10 Oct 2023 01:13:34 +0000 (+0200)
Subject: [3.11] Remove unused `SPHINXLINT` var from `Doc/Makefile`. (GH-110570) (#110584)
X-Git-Tag: v3.11.7~222
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=5ada51cd511d2e841ca37a1f5ea6b3245e5bf051;p=thirdparty%2FPython%2Fcpython.git

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

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

Remove unused `SPHINXLINT` var.
(cherry picked from commit bdbe43c7d0ad5ebda0232a4ab39689ea79a9733a)

Co-authored-by: Ezio Melotti <ezio.melotti@gmail.com>
---

diff --git a/Doc/Makefile b/Doc/Makefile
index 55be2b2dc5c1..ca82353eb454 100644
--- 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        =