From cbc3a0f559fbfaf8273c60e6cf716498105172a2 Mon Sep 17 00:00:00 2001
From: David Leoni <noreply@davidleoni.it>
Date: Sun, 1 Oct 2023 19:43:34 +0200
Subject: [PATCH] Local build.py: clean _static/generated. Fixes #157

---
 build.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/build.py b/build.py
index 2fa86f27..17f89302 100755
--- a/build.py
+++ b/build.py
@@ -98,6 +98,10 @@ def run_sphinx(manuals, formats):
     if os.path.isdir(jupman_out):
         jt.delete_tree(jupman_out, '_build')
     
+    static_generated = '_static/generated'
+    if os.path.isdir(static_generated):
+        jt.delete_tree(static_generated, '_static/generated')    
+    
     for manual in manuals: 
         for fmt in formats: