docs: Enable collapse_navigation for local builds.

This makes local builds significantly faster, while leaving the fancy
navigation enabled on Read the Docs where it’s important.

https://sphinx-rtd-theme.readthedocs.io/en/stable/configuring.html#confval-collapse_navigation

Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg 2021-11-03 21:01:09 -07:00 committed by Tim Abbott
parent 177dde15eb
commit 8d4568140c
1 changed files with 1 additions and 1 deletions

View File

@ -43,7 +43,7 @@ myst_substitutions = {
html_theme = "sphinx_rtd_theme"
html_theme_options = {
"collapse_navigation": False,
"collapse_navigation": not on_rtd, # makes local builds much faster
"logo_only": True,
}
html_logo = "images/zulip-logo.svg"