From f0b231b37a8ddcddff7a5c7913265a0d09450204 Mon Sep 17 00:00:00 2001 From: Javier Jimenez Shaw Date: Fri, 12 Jun 2020 19:56:34 +0200 Subject: add favicon.png in html --- docs/source/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/source') diff --git a/docs/source/conf.py b/docs/source/conf.py index e85e5dfb..a21ff558 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -180,7 +180,7 @@ html_logo = '../images/logo.png' # The name of an image file (within the static path) to use as favicon of the # docs. This file should be a Windows icon file (.ico) being 16x16 or 32x32 # pixels large. -#html_favicon = None +html_favicon = '../images/favicon.png' # Add any paths that contain custom static files (such as style sheets) here, # relative to this directory. They are copied after the builtin static files, -- cgit v1.2.3