Commit 631817cb7797395b0f4830bfdf2eaf954fda2a3e

Authored by Jürgen Knödlseder
1 parent 33c5d54d

Adjust favicon name

Showing 1 changed file with 1 additions and 1 deletions
doc/source/conf.py
... ... @@ -116,7 +116,7 @@ html_theme_path = ['_themes']
116 116 # The name of an image file (within the static path) to use as favicon of the
117 117 # docs. This file should be a Windows icon file (.ico) being 16x16 or 32x32
118 118 # pixels large.
119   -html_favicon = 'favicon.png'
  119 +html_favicon = 'favicon.ico'
120 120  
121 121 # Add any paths that contain custom static files (such as style sheets) here,
122 122 # relative to this directory. They are copied after the builtin static files,
... ...