From 3dfb7691152c5bd6bce1b3e550d3978854d83ac7 Mon Sep 17 00:00:00 2001
From: Fabio Alessandrelli <fabio.alessandrelli@gmail.com>
Date: Mon, 14 Sep 2020 13:18:49 +0200
Subject: Add JavaScript editor html file.

---
 platform/javascript/SCsub | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'platform/javascript/SCsub')

diff --git a/platform/javascript/SCsub b/platform/javascript/SCsub
index a8861124b9..b57498b392 100644
--- a/platform/javascript/SCsub
+++ b/platform/javascript/SCsub
@@ -55,7 +55,7 @@ out_files = [
     zip_dir.File(binary_name + ".wasm"),
     zip_dir.File(binary_name + ".html"),
 ]
-html_file = "#misc/dist/html/full-size.html"
+html_file = "#misc/dist/html/editor.html" if env["tools"] else "#misc/dist/html/full-size.html"
 in_files = [js_wrapped, build[1], html_file]
 if env["threads_enabled"]:
     in_files.append(build[2])
-- 
cgit v1.2.3