From d20b32186fc192f5e527a1211291b0cb293f4e66 Mon Sep 17 00:00:00 2001
From: Fabio Alessandrelli <fabio.alessandrelli@gmail.com>
Date: Sun, 28 Aug 2022 20:27:45 +0200
Subject: [Web] Rename JavaScript platform to Web.

Also rename export name from "HTML5" to "Web".
---
 main/main.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'main')

diff --git a/main/main.cpp b/main/main.cpp
index 126ac59070..0089faf129 100644
--- a/main/main.cpp
+++ b/main/main.cpp
@@ -1903,7 +1903,7 @@ Error Main::setup2(Thread::ID p_main_tid_override) {
 
 	MAIN_PRINT("Main: Setup Logo");
 
-#if defined(JAVASCRIPT_ENABLED) || defined(ANDROID_ENABLED)
+#if defined(WEB_ENABLED) || defined(ANDROID_ENABLED)
 	bool show_logo = false;
 #else
 	bool show_logo = true;
-- 
cgit v1.2.3