diff options
| author | Laura Ekstrand <[email protected]> | 2018-06-11 15:42:39 -0700 |
|---|---|---|
| committer | Marge Bot <[email protected]> | 2020-06-13 10:42:01 +0000 |
| commit | 8342fe8302a4462266b1097df0c9823bb166dc41 (patch) | |
| tree | 78dc49fb08a83c3e08c1a816bea8f11de64fd58c /docs | |
| parent | 17aefa73a10abc3221461e801150b5523a810663 (diff) | |
docs: Add the favicon to the new page.
Reviewed-by: Eric Engestrom <[email protected]>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/4630>
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/conf.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/conf.py b/docs/conf.py index 3ca6352ee91..26beed37168 100644 --- 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. |