Remove livehtml target

This commit is contained in:
Hugo van Kemenade 2025-04-18 16:44:00 +03:00
parent 4f2751a190
commit 1b2b15e6a0
2 changed files with 0 additions and 15 deletions

View File

@ -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"))

View File

@ -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