diff options
| author | Laura Ekstrand <laura@jlekstrand.net> | 2018-06-11 15:42:39 -0700 |
|---|---|---|
| committer | Laura Ekstrand <laura@jlekstrand.net> | 2018-06-18 16:23:53 -0700 |
| commit | 6d585e93ddf8e3b4fdc4502caf2e6da34b068a19 (patch) | |
| tree | 24b334195646c964a65b5f09d3ad16048e36797d | |
| parent | 9bfe51f477d0c4aaf6f26e45337af1e4a4a2a49d (diff) | |
docs: Add the favicon to the new page.
| -rw-r--r-- | docs/conf.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/conf.py b/docs/conf.py index 3b755e122c..a9f2061ec7 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -99,6 +99,7 @@ html_theme_options = { # The name of an image file (relative to this directory) to place at the top # of the sidebar. html_logo = "_static/gears-logo-bold-v2.svg" +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 |