Remove outdated documentation files.

2023-01-14 12:57:00 +01:00 · 2023-01-14 12:57:00 +01:00 · de91c416d7
commit de91c416d7
parent 0ca1aedf6f
1 changed files with 5 additions and 0 deletions
--- 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)