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)