From 450ebea7c74269224050bbe5d719c2ca7efd0126 Mon Sep 17 00:00:00 2001 From: Ben Sturmfels Date: Tue, 28 Apr 2020 13:39:03 +1000 Subject: [PATCH] Fix missing logo in docs. --- docs/source/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/source/conf.py b/docs/source/conf.py index 0f53e4cf..48f68b14 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -118,7 +118,7 @@ html_theme_path = ['themes'] # The name of an image file (relative to this directory) to place at the top # of the sidebar. -html_logo = 'logo_docs.png' +html_logo = 'themes/mg/static/logo_docs.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 -- 2.25.1