diff --git a/doc/conf.py b/doc/conf.py index 8869c96551282feb72688db2dfc04df08949e322..9be64872c8c00c617dfa0d2726d93df88e65b925 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -93,9 +93,10 @@ def clean_doc(app: Sphinx, exception): Remove temporary folders created during the build process. Cleans up the tutorials folder and the _dvlpt folder after the build is complete. """ - if os.path.exists(tutorial_output_dir): - print(f"Cleaning up {tutorial_output_dir}") - shutil.rmtree(tutorial_output_dir, ignore_errors=True) + # do not clean the tutorials/ folder in order to zip its content in CI/CD + #if os.path.exists(tutorial_output_dir): + # print(f"Cleaning up {tutorial_output_dir}") + # shutil.rmtree(tutorial_output_dir, ignore_errors=True) # Clean up the _dvlpt folder dev_folder = os.path.abspath(os.path.join(project_root, "doc", "_dvlpt"))