diff --git a/docs/Guardfile b/docs/Guardfile deleted file mode 100755 index 16a891a73..000000000 --- a/docs/Guardfile +++ /dev/null @@ -1,10 +0,0 @@ -#!/usr/bin/env python3 -from __future__ import annotations - -from livereload.compiler import shell -from livereload.task import Task - -Task.add("*.rst", shell("make html")) -Task.add("*/*.rst", shell("make html")) -Task.add("Makefile", shell("make html")) -Task.add("conf.py", shell("make html")) diff --git a/docs/Makefile b/docs/Makefile index 2cb6853d9..f0f6386f7 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -22,7 +22,6 @@ help: @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 " serve to start a local server for viewing docs" - @echo " livehtml to start a local server for viewing docs and auto-reload on change" @echo " dirhtml to make HTML files named index.html in directories" @echo " singlehtml to make a single large HTML file" @echo " pickle to make pickle files" @@ -207,10 +206,6 @@ htmllive: SPHINXBUILD = sphinx-autobuild htmllive: SPHINXOPTS = --open-browser --delay 0 htmllive: html -.PHONY: livehtml -livehtml: html - livereload $(BUILDDIR)/html -p 33233 - .PHONY: serve serve: cd $(BUILDDIR)/html; $(PYTHON) -m http.server