docs: add a favicon

andrewmbenton · andrewmbenton · commit 9e7beea59ea1 · 2023-06-30T15:41:45.000-07:00
diff --git a/docs/_static/favicon.png b/docs/_static/favicon.png
diff --git a/docs/conf.py b/docs/conf.py
@@ -33,6 +33,7 @@
 extensions = [
     'recommonmark',
     'sphinx_rtd_theme',
+    "sphinx_favicon",
 ]
 
 # Add any paths that contain templates here, relative to this directory.
@@ -62,3 +63,7 @@
 
 def setup(app):
     app.add_css_file('customize.css')
+
+favicons = [
+    "favicon.png",
+]
diff --git a/docs/requirements.txt b/docs/requirements.txt
@@ -16,6 +16,7 @@ recommonmark==0.7.1
 requests==2.31.0
 snowballstemmer==2.1.0
 Sphinx==4.4.0
+sphinx-favicon==1.0.1
 sphinx-rtd-theme==1.0.0
 sphinxcontrib-applehelp==1.0.2
 sphinxcontrib-devhelp==1.0.2
