diff options
Diffstat (limited to 'lld/docs/conf.py')
| -rw-r--r-- | lld/docs/conf.py | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/lld/docs/conf.py b/lld/docs/conf.py index bc07080deb5..99866e1bd1e 100644 --- a/lld/docs/conf.py +++ b/lld/docs/conf.py @@ -111,10 +111,13 @@ html_theme_path = ["."] # of the sidebar. #html_logo = None -# 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 = 'favicon.ico' +# If given, this must be the name of an image file (path relative to the +# configuration directory) that is the favicon of the docs. Modern browsers use +# this as icon for tabs, windows and bookmarks. It should be a Windows-style +# icon file (.ico), which is 16x16 or 32x32 pixels large. Default: None. The +# image file will be copied to the _static directory of the output HTML, but +# only if the file does not already exist there. +html_favicon = '_static/favicon.ico' # 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, |
