[HTML5] Add logo and favicon to editor html.

2020-12-05 21:02:31 +01:00
parent e31c6d484e
commit 6bc07cf777
3 changed files with 227 additions and 0 deletions
--- a/platform/javascript/SCsub
+++ b/platform/javascript/SCsub
@@ -99,6 +99,12 @@ elif env["threads_enabled"]:
    in_files.append(build[2])  # Worker
    out_files.append(zip_dir.File(binary_name + ".worker.js"))

+if env["tools"]:
+    in_files.append("#misc/dist/html/logo.svg")
+    out_files.append(zip_dir.File("logo.svg"))
+    in_files.append("#icon.png")
+    out_files.append(zip_dir.File("favicon.png"))
+
 zip_files = env.InstallAs(out_files, in_files)
 env.Zip(
    "#bin/godot",