From c80b0164f1d133bfa32140f6631bf06e43535842 Mon Sep 17 00:00:00 2001 From: Mark Qvist Date: Sat, 14 Jan 2023 21:26:42 +0100 Subject: [PATCH] Cleanup --- Console/build.py | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/Console/build.py b/Console/build.py index 9a3a167..4955104 100644 --- a/Console/build.py +++ b/Console/build.py @@ -203,19 +203,9 @@ def optimise_manual(path): "_static/scripts/furo.js.map", "_static/jquery-3.6.0.js", "_static/jquery.js", - # "_images/sideband_1.png", - - # Too long - # "_static/sphinx_highlight.js", - # "_static/copybutton_funcs.js", "_static/_sphinx_javascript_frameworks_compat.js", - # "_static/underscore-1.13.1.js", - # "_static/documentation_options.js", - # "_static/scripts/furo-extensions.js", "_static/scripts/furo.js.LICENSE.txt", - # "_static/styles/furo-extensions.css", "_static/styles/furo-extensions.css.map", - ] for file in remove_files: fp = path+"/"+file