diff --git a/doc/source/_static/favicon.ico b/doc/source/_static/favicon.ico new file mode 100755 index 0000000000000000000000000000000000000000..9af5d537e741c64c554dc1cb563b4500f8e2a1d3 Binary files /dev/null and b/doc/source/_static/favicon.ico differ diff --git a/doc/source/conf.py b/doc/source/conf.py index 490d3ed13832f2204625d006d3b21b911baf2916..075eeffd75d6b77077e48ac4a91cddce8cf478a1 100644 --- a/doc/source/conf.py +++ b/doc/source/conf.py @@ -125,6 +125,9 @@ if not on_rtd: # only import and set the theme if we're building docs locally #html_sidebars = { '**': ['navigation.html', 'relations.html', 'searchbox.html'] } #html_last_updated_fmt = None +# Add a favicon to doc pages +html_favicon = '_static/favicon.ico' + # -- Options for HTMLHelp output ------------------------------------------ # Output file base name for HTML help builder.