Local build.py: clean _static/generated. Fixes #157

DavidLeoni · Oct 1, 2023 · cbc3a0f · cbc3a0f
1 parent dc64014
commit cbc3a0f
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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: