docs: publish our release maintainers' keys

[mesa.git] / docs / conf.py

diff --git a/docs/conf.py b/docs/conf.py
index 3ca6352ee917e6ca0a5a4a827ad92166ae2f938a..65bd4c983fd83519da418d4d49a1c50d51d62366 100644 (file)
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -95,6 +95,8 @@ highlight_language = "none"
 #
 html_theme = 'sphinx_rtd_theme'
 
+html_favicon = "favicon.ico"
+
 # Theme options are theme-specific and customize the look and feel of a theme
 # further.  For a list of options available for each theme, see the
 # documentation.
@@ -110,6 +112,17 @@ html_copy_source = False
 # so a file named "default.css" will overwrite the builtin "default.css".
 html_static_path = []
 
+html_extra_path = [
+  '_extra/',
+  'release-maintainers-keys/',
+  'features.txt',
+  'libGL.txt',
+  'README.UVD',
+  'README.VCE',
+  'README.WIN32',
+  'VERSIONS'
+]
+
 
 # -- Options for HTMLHelp output ------------------------------------------