Projet

Général

Profil

Evolution #1303 » 0004-Add-favicon.patch

Guillaume AGNIERAY, 26/09/2019 18:01

Voir les différences:

source/conf.py
# 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,
(4-4/5)