loader/dri3: Use dri3_wait_for_event_locked in loader_dri3_wait_for_msc

[mesa.git] / docs / conf.py

diff --git a/docs/conf.py b/docs/conf.py
index 98f6060132be8d71f7e5bc50ffcafa90c09d139f..fe14ba731f02fb9bcff6d095b0bee949e8f2bd1d 100644 (file)
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -83,6 +83,10 @@ pygments_style = 'sphinx'
 # If true, `todo` and `todoList` produce output, else they produce nothing.
 todo_include_todos = False
 
+# Disable highlighting unless a language is specified, otherwise we'll get
+# python keywords highlit in literal blocks.
+highlight_language = "none"
+
 
 # -- Options for HTML output ----------------------------------------------
 
@@ -91,17 +95,33 @@ todo_include_todos = False
 #
 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.
 #
-# html_theme_options = {}
+html_theme_options = {
+  'display_version': False,
+}
+
+html_copy_source = False
 
 # 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,
 # so a file named "default.css" will overwrite the builtin "default.css".
 html_static_path = []
 
+html_extra_path = [
+  '_extra/',
+  'release-maintainers-keys.asc',
+  'features.txt',
+  'libGL.txt',
+  'README.UVD',
+  'README.VCE',
+  'README.WIN32',
+]
+
 
 # -- Options for HTMLHelp output ------------------------------------------