[HTML5] Add logo and favicon to editor html.

This commit is contained in:
Fabio Alessandrelli
2020-12-05 21:02:31 +01:00
parent 295b16dcf2
commit 6936ac9d5d
3 changed files with 227 additions and 0 deletions

View File

@@ -98,6 +98,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",