From e9aa12c91492687f99e4fdff18ab0afbeedd7b94 Mon Sep 17 00:00:00 2001
From: Ivan Blinkov <github@blinkov.ru>
Date: Mon, 20 Sep 2021 20:43:58 +0300
Subject: [PATCH] Update website.py

---
 docs/tools/website.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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,