Rename 'make autobuild' to 'make htmllive' (#1212)

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