jenkins-bot has submitted this change. ( https://gerrit.wikimedia.org/r/c/pywikibot/core/+/676603 )
Change subject: [doc] Add favicon to doc ......................................................................
[doc] Add favicon to doc
Change-Id: Iefda966e37cbea76afab0923fad0f3fa7b8c3619 --- A docs/Pywikibot.ico M docs/conf.py 2 files changed, 1 insertion(+), 1 deletion(-)
Approvals: Xqt: Looks good to me, approved jenkins-bot: Verified
diff --git a/docs/Pywikibot.ico b/docs/Pywikibot.ico new file mode 100644 index 0000000..031cfe9 --- /dev/null +++ b/docs/Pywikibot.ico Binary files differ diff --git a/docs/conf.py b/docs/conf.py index c559df9..f237685 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -169,7 +169,7 @@ # the docs. This file should be a Windows icon file (.ico) being 16x16 or 32x32 # pixels large. # -# html_favicon = None +html_favicon = 'Pywikibot.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,
pywikibot-commits@lists.wikimedia.org