blog: Publish old post from 2016

[personal/website.git] / source / conf.py

diff --git a/source/conf.py b/source/conf.py
index 5684c71aa58d8f2180aa6b61a5dcc9425b3e90c3..67fcd1af5b49958fbee03bb56a7aa2c9b29fd4d8 100644 (file)
--- a/source/conf.py
+++ b/source/conf.py
@@ -120,7 +120,7 @@ html_short_title = "Luca's Web"
 # 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.
 # 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 = "_static/favicon.png"

 
 # 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,
 
 # 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,