diff --git a/Makefile b/Makefile index 8fe59bdee2..da382ea674 100644 --- a/Makefile +++ b/Makefile @@ -25,7 +25,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 " autobuild to rebuild and reload HTML files in your browser" + @echo " htmllive to rebuild and reload HTML files in your browser" @echo " clean to remove the venv and build files" @echo " dirhtml to make HTML files named index.html in directories" @echo " singlehtml to make a single large HTML file" @@ -159,10 +159,10 @@ doctest: html htmlview: html $(PYTHON) -c "import os, webbrowser; webbrowser.open('file://' + os.path.realpath('_build/html/index.html'))" -.PHONY: autobuild -autobuild: SPHINXBUILD = $(VENVDIR)/bin/sphinx-autobuild -autobuild: SPHINXOPTS = --re-ignore="/\.idea/|/venv/" -autobuild: html +.PHONY: htmllive +htmllive: SPHINXBUILD = $(VENVDIR)/bin/sphinx-autobuild +htmllive: SPHINXOPTS = --re-ignore="/\.idea/|/venv/" +htmllive: html .PHONY: check check: ensure-venv