Merge pull request #8881 from Carreau/fav

docs favicon

docs/source/conf.py

@@ -149,6 +149,7 b" default_role = 'literal'"
 # must exist either in Sphinx' static/ path, or in one of the custom paths
 # given in html_static_path.
 html_style = 'default.css'
+html_favicon = 'favicon.ico'
 
 # The name for this set of Sphinx documents.  If None, it defaults to
 # "<project> v<release> documentation".