From 89767eaeb4b6a73b1060a008081c1ae38abe8c82 Mon Sep 17 00:00:00 2001 From: Kwankyu Lee Date: Fri, 1 Nov 2024 18:27:42 +0900 Subject: [PATCH] Remove jupyter_execute directories after doc build --- src/doc/Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/doc/Makefile b/src/doc/Makefile index 98a3d138baf..d8d935b4617 100644 --- a/src/doc/Makefile +++ b/src/doc/Makefile @@ -66,6 +66,8 @@ doc-html-other: doc-html-reference $(MAKE) $(foreach doc, $(wordlist 2, 100, $(DOCS)), doc-html--$(subst /,-,$(doc))) doc-html: doc-html-reference doc-html-other + SAGE_DOC=$$(sage -python -c "from sage.env import SAGE_DOC; print(SAGE_DOC)") + find $${SAGE_DOC} -type d -path "html/*/jupyter_execute" -exec rm -rf {} + # Matches doc-pdf--developer, doc-pdf--reference-manifolds etc. doc-pdf--%: