diff options
author | Miss Islington (bot) <31488909+miss-islington@users.noreply.github.com> | 2024-05-27 17:44:55 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-05-27 17:44:55 (GMT) |
commit | ba71835fa5780882fa0327745d45a1cd5879e756 (patch) | |
tree | 4ccbf03fcfea10dd64af81bc854b277f2b63413b | |
parent | f1302c1e4785871197048d3701a5ecf4ed145596 (diff) | |
download | cpython-ba71835fa5780882fa0327745d45a1cd5879e756.zip cpython-ba71835fa5780882fa0327745d45a1cd5879e756.tar.gz cpython-ba71835fa5780882fa0327745d45a1cd5879e756.tar.bz2 |
[3.13] Docs: Only install sphinx-autobuild for `make htmllive` (GH-119607) (#119621)
Co-authored-by: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com>
-rw-r--r-- | Doc/Makefile | 6 | ||||
-rw-r--r-- | Doc/requirements.txt | 1 |
2 files changed, 5 insertions, 2 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index eca574e..1cbfc72 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -150,10 +150,14 @@ gettext: build htmlview: html $(PYTHON) -c "import os, webbrowser; webbrowser.open('file://' + os.path.realpath('build/html/index.html'))" +.PHONY: ensure-sphinx-autobuild +ensure-sphinx-autobuild: venv + $(VENVDIR)/bin/sphinx-autobuild --version > /dev/null || $(VENVDIR)/bin/python3 -m pip install sphinx-autobuild + .PHONY: htmllive htmllive: SPHINXBUILD = $(VENVDIR)/bin/sphinx-autobuild htmllive: SPHINXOPTS = --re-ignore="/venv/" --open-browser --delay 0 -htmllive: html +htmllive: ensure-sphinx-autobuild html .PHONY: clean clean: clean-venv diff --git a/Doc/requirements.txt b/Doc/requirements.txt index 15675ab..b47a9d8 100644 --- a/Doc/requirements.txt +++ b/Doc/requirements.txt @@ -10,7 +10,6 @@ sphinx~=7.3.0 blurb -sphinx-autobuild sphinxext-opengraph==0.7.5 sphinx-notfound-page==1.0.0 |