WebHost: delete old docs files (#3503)

2024-06-12 15:34:46 +02:00 · 2024-06-12 15:34:46 +02:00 · 3b9b9353b7
parent b9e454ab4e
commit 3b9b9353b7
1 changed files with 1 additions and 0 deletions
--- a/WebHost.py
+++ b/WebHost.py
@ -58,6 +58,7 @@ def create_ordered_tutorials_file() -> typing.List[typing.Dict[str, typing.Any]]
            worlds[game] = world

    base_target_path = Utils.local_path("WebHostLib", "static", "generated", "docs")
+    shutil.rmtree(base_target_path, ignore_errors=True)
    for game, world in worlds.items():
        # copy files from world's docs folder to the generated folder
        target_path = os.path.join(base_target_path, game)