From 88103ff8b673307d9487c44bf9baefb43f65f8fc Mon Sep 17 00:00:00 2001 From: Didier Roche Date: Thu, 16 Nov 2023 07:59:20 +0100 Subject: [PATCH] Avoid an inifinite refresh loop when saving the documentation With make run, listening to any file changes in the destination directory, the script generating the index files will rerun everytime, creating a new event, rerunning the generation and so on. Exclude then any index files under those known subdirectories. --- docs/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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