diff options
| author | Miss Islington (bot) <31488909+miss-islington@users.noreply.github.com> | 2023-11-13 08:15:11 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-11-13 08:15:11 (GMT) |
| commit | a1447af69c3063bb154d343628a19134901549ff (patch) | |
| tree | ccb5a01ccb51533e97af57dc4c2014911a7b8326 /Doc/Makefile | |
| parent | 3b7e308a24fdaf24e45ad3ce980e52a2778b548e (diff) | |
| download | cpython-a1447af69c3063bb154d343628a19134901549ff.zip cpython-a1447af69c3063bb154d343628a19134901549ff.tar.gz cpython-a1447af69c3063bb154d343628a19134901549ff.tar.bz2 | |
[3.12] Docs: Add `make htmllive` to rebuild and reload HTML files in your browser (GH-111900) (#112022)
Co-authored-by: Hugo van Kemenade <hugovk@users.noreply.github.com>
Diffstat (limited to 'Doc/Makefile')
| -rw-r--r-- | Doc/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index 78ee427..7af56e9 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -29,6 +29,7 @@ help: @echo " venv to create a venv with necessary tools" @echo " html to make standalone HTML files" @echo " htmlview to open the index page built by the html target in your browser" + @echo " htmllive to rebuild and reload HTML files in your browser" @echo " htmlhelp to make HTML files and a HTML help project" @echo " latex to make LaTeX files, you can set PAPER=a4 or PAPER=letter" @echo " text to make plain text files" @@ -139,6 +140,11 @@ pydoc-topics: build htmlview: html $(PYTHON) -c "import os, webbrowser; webbrowser.open('file://' + os.path.realpath('build/html/index.html'))" +.PHONY: htmllive +htmllive: SPHINXBUILD = $(VENVDIR)/bin/sphinx-autobuild +htmllive: SPHINXOPTS = --re-ignore="/venv/" +htmllive: html + .PHONY: clean clean: clean-venv -rm -rf build/* |