diff options
Diffstat (limited to 'doc-tool/resources/_includes/toc.html')
| -rw-r--r-- | doc-tool/resources/_includes/toc.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc-tool/resources/_includes/toc.html b/doc-tool/resources/_includes/toc.html index 8f3b1e222..bfe275f8b 100644 --- a/doc-tool/resources/_includes/toc.html +++ b/doc-tool/resources/_includes/toc.html @@ -2,7 +2,7 @@ <ul class="toc"> <li> <a id="home-button" href="{{ site.baseurl }}/index.html"> - {% include "scala-logo.html" %} + {% include "scala-logo.svg" %} </a> </li> <li> |