From 864867a61815750def522829e9e10cdec897c38c Mon Sep 17 00:00:00 2001 From: Jessica Hamilton Date: Sun, 18 Aug 2024 09:37:01 +0000 Subject: [PATCH] Makefile: don't delete `doctrees` cache. --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 6f4c26f..72b9d99 100644 --- a/Makefile +++ b/Makefile @@ -8,8 +8,8 @@ SOURCEDIR = . BUILDDIR = _build all: - # always clean first - $(test -d _build && rm -r _build) + # always clean up the HTML docs + $(test -d _build && test -d _build/html && rm -r _build/html) @$(SPHINXBUILD) -M html "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) help: