From 266e63d83b4c97c626fe570e783e8bc7b843b337 Mon Sep 17 00:00:00 2001 From: Yimin Zheng Date: Tue, 4 Feb 2025 21:04:50 +0100 Subject: [PATCH] Add clean_up script --- docs/clean_up.py | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 docs/clean_up.py diff --git a/docs/clean_up.py b/docs/clean_up.py new file mode 100644 index 0000000..d74f108 --- /dev/null +++ b/docs/clean_up.py @@ -0,0 +1,18 @@ +from pathlib import Path +import shutil + +root = Path(__file__).parent # ./docs + +target_folders = [ + root / "build", + root / "examples" / "imgs", + root / "source" / "api" / "APIs", + root / "source" / "examples", + root / "source" / "how_to", +] + + +if __name__ == "__main__": + for folder in target_folders: + if folder.exists(): + shutil.rmtree(folder)