Merge pull request #10018 from griggt/fix-scala3-logo

Fix #10017: fix missing Scala 3 logo on documentation site

Author: nicolasstucki

doc-tool/resources/images/dotty-logo-white.svg renamed to doc-tool/resources/images/scala3-logo-white.svg

@@ -155,9 +155,9 @@ case class Site(
         "js/bootstrap.min.js" -> "/js/bootstrap.min.js",
         "js/jquery.min.js" -> "/js/jquery.min.js",
         "js/highlight.pack.js" -> "/js/highlight.pack.js",
-        "images/dotty-logo.svg" -> "/images/dotty-logo.svg",
+        "images/scala3-logo.svg" -> "/images/scala3-logo.svg",
         "images/scala-logo.svg" -> "/images/scala-logo.svg",
-        "images/dotty-logo-white.svg" -> "/images/dotty-logo-white.svg",
+        "images/scala3-logo-white.svg" -> "/images/scala3-logo-white.svg",
         "images/scala-logo-white.svg" -> "/images/scala-logo-white.svg"
       )
       .transform((_, v) => getResource(v))

doc-tool/resources/images/dotty-logo.svg renamed to doc-tool/resources/images/scala3-logo.svg

@@ -88,8 +88,8 @@ class SiteTests extends DottyDocTest with SourceFileOps with CheckFromSource {
       "css/search.css",
       "css/sidebar.css",
       "css/toolbar.css",
-      "images/dotty-logo-white.svg",
-      "images/dotty-logo.svg",
+      "images/scala3-logo-white.svg",
+      "images/scala3-logo.svg",
       "images/scala-logo-white.svg",
       "images/scala-logo.svg",
       "js/api-search.js",