From f8359eb6d5f72bfe7eca7bf4934e7418faf40877 Mon Sep 17 00:00:00 2001 From: Philip Loche Date: Fri, 21 Nov 2025 10:03:09 +0100 Subject: [PATCH] reflect example name change in cleanup script --- developer/clean-tempfiles.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/developer/clean-tempfiles.sh b/developer/clean-tempfiles.sh index 525fd18ef5..c0289f8e76 100755 --- a/developer/clean-tempfiles.sh +++ b/developer/clean-tempfiles.sh @@ -11,7 +11,7 @@ cd "$ROOT_DIR" rm -rf dist rm -rf build rm -rf docs/build -rm -rf docs/src/examples +rm -rf docs/src/generated_examples rm -rf docs/src/sg_execution_times.rst rm -rf src/metatrain/dist