icons

2014-11-13 17:58:40 +01:00
parent 5a2d0537f0
commit 3018db51a9
3 changed files with 1 additions and 1 deletions
@@ -129,7 +129,7 @@ html_logo = 'logo_small.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 = 'thumbnail.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,