From dd76b0f09dc776f0c8f5935c566fc37fdc225da5 Mon Sep 17 00:00:00 2001 From: Dominik Jain Date: Wed, 17 Dec 2025 17:05:25 +0100 Subject: [PATCH] Add favicon to docs --- docs/_config.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/_config.yml b/docs/_config.yml index dbea0794..89a0f6c2 100644 --- a/docs/_config.yml +++ b/docs/_config.yml @@ -53,7 +53,7 @@ parse: ####################################################################################### # HTML-specific settings html: - #favicon : # A path to a favicon image + favicon : "../src/serena/resources/dashboard/serena-icon-32.png" use_edit_page_button : false # Whether to add an "edit this page" button to pages. If `true`, repository information in repository: must be filled in use_repository_button : false # Whether to add a link to your repository button use_issues_button : false # Whether to add an "open an issue" button