Fix #2471: broken favicon

felixmulder · felixmulder · commit cc0748ebfb27 · 2017-05-19T14:36:10.000+02:00
diff --git a/doc-tool/resources/_layouts/main.html b/doc-tool/resources/_layouts/main.html
@@ -7,6 +7,8 @@
 
         <title>{{ page.title }}</title>
 
+        <link rel="icon" type="image/png" href="{{ site.baseurl }}/images/favicon.png">
+
         <link href="https://fonts.googleapis.com/icon?family=Material+Icons" rel="stylesheet">
 
         <link
