Fixed so that favicon appears both online and locally (#1885)

dafny-lang · Mar 3, 2022 · 93cbefc · 93cbefc
1 parent f2b89b2
commit 93cbefc
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/Test/libraries b/Test/libraries
diff --git a/docs/_includes/head.html b/docs/_includes/head.html
@@ -3,7 +3,7 @@
   <meta http-equiv="X-UA-Compatible" content="IE=edge">
   <meta name="viewport" content="width=device-width, initial-scale=1">
   <link rel="stylesheet" href="../assets/main.css">
-  <link rel="icon" type="image/png" href="/dafny-favicon.png">
+  <link rel="icon" type="image/png" href="/dafny/dafny-favicon.png">
   {%- seo -%}
 {% comment %}
   {%- feed_meta -%}

diff --git a/docs/dafny/dafny-favicon.png b/docs/dafny/dafny-favicon.png