Add favicon.

diff --git a/sphinx/_static/favicon.ico b/sphinx/_static/favicon.ico
new file mode 100644 (file)
index 0000000..e156996
Binary files /dev/null and b/sphinx/_static/favicon.ico differ

diff --git a/sphinx/conf.py b/sphinx/conf.py
index 2f246c6eeac0dcdef86b719f1eceabb586a81620..2597bbdc66a2577aca2d00bc96cd107b0d64c06c 100644 (file)
--- a/sphinx/conf.py
+++ b/sphinx/conf.py
@@ -125,7 +125,7 @@ html_logo = os.path.join(artworkdir(), 'logo_tuned/fmri_w200.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 = '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,