diff options
| author | Javier Jimenez Shaw <j1@jimenezshaw.com> | 2020-06-12 19:56:34 +0200 |
|---|---|---|
| committer | Javier Jimenez Shaw <j1@jimenezshaw.com> | 2020-06-12 19:56:34 +0200 |
| commit | f0b231b37a8ddcddff7a5c7913265a0d09450204 (patch) | |
| tree | 10c698077559b677c479553508636a1a48c7eed8 /docs/source | |
| parent | a3350fd7e8b73d0a29f68e9f8384705c22ecd6fe (diff) | |
| download | PROJ-f0b231b37a8ddcddff7a5c7913265a0d09450204.tar.gz PROJ-f0b231b37a8ddcddff7a5c7913265a0d09450204.zip | |
add favicon.png in html
Diffstat (limited to 'docs/source')
| -rw-r--r-- | docs/source/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
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, |