diff --git a/docs/Makefile b/docs/Makefile index a76d8aab9..b6f4a0a5a 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -53,7 +53,7 @@ woke-install: install: $(VENVDIR) woke-install run: install - . $(VENV); sphinx-autobuild -b dirhtml "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) + . $(VENV); sphinx-autobuild --re-ignore 'reference/policies/.*/index.md' -b dirhtml "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) # Doesn't depend on $(BUILDDIR) to rebuild properly at every run. html: install