From de91c416d70fa0dec4a916908aa1da43b198fed4 Mon Sep 17 00:00:00 2001
From: Viktor Kovacs <viktorkovacs@gmail.com>
Date: Sat, 14 Jan 2023 12:57:00 +0100
Subject: [PATCH] Remove outdated documentation files.

---
 tools/generate_docs.py | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/tools/generate_docs.py b/tools/generate_docs.py
index ee530ad..bd93585 100644
--- a/tools/generate_docs.py
+++ b/tools/generate_docs.py
@@ -439,6 +439,11 @@ def Main (argv):
     resultDir = os.path.join (rootDir, 'docs')
     sourceDir = os.path.join (resultDir, 'source')
 
+    for fileName in os.listdir (resultDir):
+        filePath = os.path.join (resultDir, fileName)
+        if not os.path.isdir (filePath):
+            os.remove (filePath)
+
     config = None
     with open (os.path.join (sourceDir, 'config.json')) as configJson:
         config = json.load (configJson)