diff options
| author | Julien Palard <julien@palard.fr> | 2022-02-10 07:59:04 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-10 07:59:04 (GMT) |
| commit | b878b3af0b3a9e3ab3ffcaf90a4066dfb3bb7cac (patch) | |
| tree | ecf60e1ac5b98d751865622cc48364cf582b7d9c /Doc/Makefile | |
| parent | b71dc71905ab674ccaa4a56230d17a28f61c325c (diff) | |
| download | cpython-b878b3af0b3a9e3ab3ffcaf90a4066dfb3bb7cac.zip cpython-b878b3af0b3a9e3ab3ffcaf90a4066dfb3bb7cac.tar.gz cpython-b878b3af0b3a9e3ab3ffcaf90a4066dfb3bb7cac.tar.bz2 | |
bpo-42238: [doc] moving from rstlint.py to sphinx-lint. (GH-31097)
Diffstat (limited to 'Doc/Makefile')
| -rw-r--r-- | Doc/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index e60aa34..61a7ce0 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -7,6 +7,7 @@ PYTHON = python3 VENVDIR = ./venv SPHINXBUILD = PATH=$(VENVDIR)/bin:$$PATH sphinx-build +SPHINXLINT = PATH=$(VENVDIR)/bin:$$PATH sphinx-lint BLURB = PATH=$(VENVDIR)/bin:$$PATH blurb PAPER = SOURCES = @@ -214,8 +215,8 @@ dist: rm dist/python-$(DISTVERSION)-docs-texinfo.tar check: - $(PYTHON) tools/rstlint.py -i tools -i $(VENVDIR) -i README.rst - $(PYTHON) tools/rstlint.py ../Misc/NEWS.d/next/ + $(SPHINXLINT) -i tools -i $(VENVDIR) -i README.rst + $(SPHINXLINT) ../Misc/NEWS.d/next/ serve: $(PYTHON) ../Tools/scripts/serve.py build/html $(SERVE_PORT) |