diff options
| author | Laura Ekstrand <laura@jlekstrand.net> | 2018-06-06 14:43:35 -0700 |
|---|---|---|
| committer | Laura Ekstrand <laura@jlekstrand.net> | 2018-06-18 16:23:53 -0700 |
| commit | e084546f80ffd0d53b17db5dbb3fb09b6a7e5577 (patch) | |
| tree | b8907c60edfa7359436c687cd55730007f732a9c | |
| parent | e056a28ea066f3e936ecf5def4257b6c430bd1ea (diff) | |
docs: Remove version.
| -rw-r--r-- | docs/conf.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/conf.py b/docs/conf.py index 266d9b33f4..c40f127180 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -91,6 +91,10 @@ todo_include_todos = False # html_theme = 'sphinx_rtd_theme' +html_theme_options = { + 'display_version': False, +} + # 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. |