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