]> git.ipfire.org Git - thirdparty/Python/cpython.git/commitdiff
projects / thirdparty / Python / cpython.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 3b1580a)
Remove unused `SPHINXLINT` var from `Doc/Makefile`. (#110570)
authorEzio Melotti <ezio.melotti@gmail.com>
Mon, 9 Oct 2023 22:30:23 +0000 (00:30 +0200)
committerGitHub <noreply@github.com>
Mon, 9 Oct 2023 22:30:23 +0000 (00:30 +0200)
Remove unused `SPHINXLINT` var.

Doc/Makefile patch | blob | blame | history

diff --git a/Doc/Makefile b/Doc/Makefile
index 22691895068fea47eea53f49ddf35423045027c3..78ee4271e25f79372eda9facd886b44782592d1b 100644 (file)
--- 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        =
Mirror of https://github.com/python/cpython.git