From 72720f0780e95b6b341f46679d20b56fcef8b85a Mon Sep 17 00:00:00 2001 From: Felix Mulder Date: Mon, 16 Jan 2017 19:11:01 +0100 Subject: Add new Dotty logo --- doc-tool/src/dotty/tools/dottydoc/staticsite/Site.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc-tool/src/dotty/tools/dottydoc') diff --git a/doc-tool/src/dotty/tools/dottydoc/staticsite/Site.scala b/doc-tool/src/dotty/tools/dottydoc/staticsite/Site.scala index d314f0eab..72fd8c2a5 100644 --- a/doc-tool/src/dotty/tools/dottydoc/staticsite/Site.scala +++ b/doc-tool/src/dotty/tools/dottydoc/staticsite/Site.scala @@ -310,7 +310,7 @@ case class Site(val root: JFile, val documentation: Map[String, Package]) extend val defaultIncludes: Map[String, String] = Map( "header.html" -> "/_includes/header.html", - "scala-logo.html" -> "/_includes/scala-logo.html", + "scala-logo.svg" -> "/_includes/scala-logo.svg", "toc.html" -> "/_includes/toc.html" ).mapValues(getResource) -- cgit v1.2.3