Fix missing logo in docs.

This commit is contained in:
Ben Sturmfels 2020-04-28 13:39:03 +10:00
parent 4e28403812
commit 450ebea7c7
No known key found for this signature in database
GPG Key ID: 023C05E2C9C068F0

View File

@ -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