From 86037cd5fac19b94da8f8a0a6ccf8667fa358c65 Mon Sep 17 00:00:00 2001 From: Hugo van Kemenade Date: Wed, 1 Nov 2023 16:48:14 +0200 Subject: [PATCH] Rename 'make autobuild' to 'make htmllive' --- Makefile | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) 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