diff options
| author | Hugo van Kemenade <hugovk@users.noreply.github.com> | 2023-06-18 11:52:05 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-18 11:52:05 (GMT) |
| commit | bc07c8f096791d678ca5c1e3486cb9648f7a027b (patch) | |
| tree | 59a38aad3d156715b8746dff7a6460846b236a3d /Doc/Makefile | |
| parent | dba72175116373c1d15e25d84c88b516daf9f5c4 (diff) | |
| download | cpython-bc07c8f096791d678ca5c1e3486cb9648f7a027b.zip cpython-bc07c8f096791d678ca5c1e3486cb9648f7a027b.tar.gz cpython-bc07c8f096791d678ca5c1e3486cb9648f7a027b.tar.bz2 | |
Docs: move sphinx-lint to pre-commit (#105750)
Diffstat (limited to 'Doc/Makefile')
| -rw-r--r-- | Doc/Makefile | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index c11ea6c..2269189 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -216,11 +216,9 @@ dist: rm dist/python-$(DISTVERSION)-docs-texinfo.tar .PHONY: check -check: - # Check the docs and NEWS files with sphinx-lint. - # Ignore the tools and venv dirs and check that the default role is not used. - $(SPHINXLINT) -i tools -i $(VENVDIR) --enable default-role - $(SPHINXLINT) --enable default-role ../Misc/NEWS.d/next/ +check: venv + $(VENVDIR)/bin/python3 -m pre_commit --version > /dev/null || $(VENVDIR)/bin/python3 -m pip install pre-commit + $(VENVDIR)/bin/python3 -m pre_commit run --all-files .PHONY: serve serve: |