diff --git a/docs/tools/website.py b/docs/tools/website.py index 784df35b0b7..5e4f48e3441 100644 --- a/docs/tools/website.py +++ b/docs/tools/website.py @@ -242,7 +242,7 @@ def minify_website(args): js_in = get_js_in(args) js_out = f'{args.output_dir}/js/base.js' - if args.minify: + if args.minify and False: # TODO: return closure js_in = [js[1:-1] for js in js_in] closure_args = [ '--js', *js_in, '--js_output_file', js_out,