diff options
| author | Jim Mussared <jim.mussared@gmail.com> | 2019-11-06 17:08:28 +1100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2019-11-07 14:45:34 +1100 |
| commit | 1295146a6f639091db854a6c3228ce84a35bf994 (patch) | |
| tree | d5b61108566c63d74beef2ac74c923bc1be28818 /docs/conf.py | |
| parent | d2e6cfd8fd1044dead49cd95795a30c42c66463c (diff) | |
| download | micropython-1295146a6f639091db854a6c3228ce84a35bf994.tar.gz micropython-1295146a6f639091db854a6c3228ce84a35bf994.zip | |
docs/conf.py: Fix path to favicon.ico.
Diffstat (limited to 'docs/conf.py')
| -rwxr-xr-x | docs/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/conf.py b/docs/conf.py index 71e561c9c0..dbd1d0c562 100755 --- a/docs/conf.py +++ b/docs/conf.py @@ -159,7 +159,7 @@ else: # 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' +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, |