diff options
| author | Javier Jimenez Shaw <j1@jimenezshaw.com> | 2020-06-12 19:56:34 +0200 |
|---|---|---|
| committer | Kristian Evers <kristianevers@gmail.com> | 2020-06-13 10:26:13 +0200 |
| commit | 510d4b16e54f99e6816b885365d03a859150a63f (patch) | |
| tree | 2455aad70396d73683a5d19d52960d47aa8d168d | |
| parent | 76652fd256ea2efe20d4cbca468aea4073259bf7 (diff) | |
| download | PROJ-510d4b16e54f99e6816b885365d03a859150a63f.tar.gz PROJ-510d4b16e54f99e6816b885365d03a859150a63f.zip | |
add favicon.png in html
| -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 eadad9f8..b9096d78 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, |
