diff options
| author | Kristian Evers <kristianevers@gmail.com> | 2020-06-12 21:33:35 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-12 21:33:35 +0200 |
| commit | 6a36ac3c0f90c320fe32623efc47b12293edc4b3 (patch) | |
| tree | 10c698077559b677c479553508636a1a48c7eed8 /docs | |
| parent | a3350fd7e8b73d0a29f68e9f8384705c22ecd6fe (diff) | |
| parent | f0b231b37a8ddcddff7a5c7913265a0d09450204 (diff) | |
| download | PROJ-6a36ac3c0f90c320fe32623efc47b12293edc4b3.tar.gz PROJ-6a36ac3c0f90c320fe32623efc47b12293edc4b3.zip | |
Merge pull request #2264 from jjimenezshaw/add-favicon
Add favicon.png in html
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/images/favicon.png | bin | 0 -> 14810 bytes | |||
| -rw-r--r-- | docs/source/conf.py | 2 |
2 files changed, 1 insertions, 1 deletions
diff --git a/docs/images/favicon.png b/docs/images/favicon.png Binary files differnew file mode 100644 index 00000000..90bd1c8d --- /dev/null +++ b/docs/images/favicon.png 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, |
