diff --git a/Makefile b/Makefile index 5503d3e15c..5f9e96546e 100644 --- a/Makefile +++ b/Makefile @@ -72,7 +72,7 @@ htmlview: html htmllive: SPHINXBUILD = $(VENVDIR)/bin/sphinx-autobuild # Arbitrarily selected ephemeral port between 49152–65535 # to avoid conflicts with other processes: -htmllive: SPHINXOPTS = --re-ignore="/\.idea/|/venv/" --open-browser --delay 0 --port 55301 +htmllive: SPHINXOPTS = --open-browser --delay 0 --port 55301 htmllive: html .PHONY: check diff --git a/requirements.txt b/requirements.txt index 57755eb76d..fd04efd8cc 100644 --- a/requirements.txt +++ b/requirements.txt @@ -1,6 +1,6 @@ furo>=2022.6.4 jinja2 -sphinx-autobuild +sphinx-autobuild>=2024.9.19 sphinx-inline-tabs>=2023.4.21 sphinx-lint==0.9.1 sphinx-notfound-page>=1.0.0