From 2d3bc1b9adaf7d8ad03a931869946b872590559b Mon Sep 17 00:00:00 2001
From: Fabian Dill <Berserker66@users.noreply.github.com>
Date: Wed, 12 Jun 2024 15:34:46 +0200
Subject: [PATCH] WebHost: delete old docs files (#3503)

---
 WebHost.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/WebHost.py b/WebHost.py
index afacd6288ec2..08ef3c430795 100644
--- 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)