diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-01-16 19:11:01 +0100 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2017-01-31 14:32:37 +0100 |
commit | 72720f0780e95b6b341f46679d20b56fcef8b85a (patch) | |
tree | 499ac300ecf149fe9f8e7d87f5cf8c49b7d24732 /doc-tool/src/dotty/tools/dottydoc/staticsite/Site.scala | |
parent | ab09530d350a2a7b2576d06a870082b975cf6c4f (diff) | |
download | dotty-72720f0780e95b6b341f46679d20b56fcef8b85a.tar.gz dotty-72720f0780e95b6b341f46679d20b56fcef8b85a.tar.bz2 dotty-72720f0780e95b6b341f46679d20b56fcef8b85a.zip |
Add new Dotty logo
Diffstat (limited to 'doc-tool/src/dotty/tools/dottydoc/staticsite/Site.scala')
-rw-r--r-- | doc-tool/src/dotty/tools/dottydoc/staticsite/Site.scala | 2 |
1 files changed, 1 insertions, 1 deletions
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) |