From 929c439c3cf3c3bc059bcd4051ee52afcc5e3b26 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marta=20G=C3=B3mez=20Mac=C3=ADas?= <mgmacias@google.com>
Date: Fri, 4 Aug 2023 15:18:13 +0200
Subject: [PATCH] add html link tag

---
 docs/_templates/index.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/_templates/index.html b/docs/_templates/index.html
index eb079733d5..bdcf4e6844 100644
--- a/docs/_templates/index.html
+++ b/docs/_templates/index.html
@@ -25,6 +25,7 @@
             background-image: url("{{pathto('_static/images/circle_outer_opt.png', 1)}}");
         }
     </style>
+    <link rel="icon" href="_static/favicon.ico">
 
 </head>