From 254b5a6a3c5cb70c446632cadfbfd6e0c0550467 Mon Sep 17 00:00:00 2001 From: cvanelteren Date: Tue, 11 Aug 2026 23:29:50 +1000 Subject: [PATCH] docs: make clean fully reset the build cache --- docs/Makefile | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/docs/Makefile b/docs/Makefile index db698ae42..08619939f 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -21,12 +21,14 @@ html-exec: help: @$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) -# Make make clean ignore .git folder -# The -f doesn't raise error when files/folders not found +# Full reset of all build output and caches (gallery md5, executed notebooks, +# doctrees). Use this only when you need a genuinely cold rebuild; plain +# `make html` reuses cached figures and notebook outputs. clean: rm -rf api/* - rm -rf "$(BUILDDIR)"/html/* - rm -rf "$(BUILDDIR)"/doctrees/* + rm -rf "$(BUILDDIR)" + rm -rf gallery + rm -rf sg_execution_times.rst # Catch-all target: route all unknown targets to Sphinx using the new # "make mode" option. See: https://github.com/sphinx-doc/sphinx/issues/6603