|
@@ -181,13 +181,9 @@ html_context = {
|
|
"github_repo": "godot-docs", # Repo name
|
|
"github_repo": "godot-docs", # Repo name
|
|
"github_version": "4.3", # Version
|
|
"github_version": "4.3", # Version
|
|
"conf_py_path": "/", # Path in the checkout to the docs root
|
|
"conf_py_path": "/", # Path in the checkout to the docs root
|
|
- "godot_inject_language_links": True,
|
|
|
|
- "godot_docs_supported_languages": list(supported_languages.keys()),
|
|
|
|
"godot_docs_title": supported_languages[language],
|
|
"godot_docs_title": supported_languages[language],
|
|
"godot_docs_basepath": "https://docs.godotengine.org/",
|
|
"godot_docs_basepath": "https://docs.godotengine.org/",
|
|
"godot_docs_suffix": ".html",
|
|
"godot_docs_suffix": ".html",
|
|
- "godot_default_lang": "en",
|
|
|
|
- "godot_canonical_version": "stable",
|
|
|
|
# Distinguish local development website from production website.
|
|
# Distinguish local development website from production website.
|
|
# This prevents people from looking for changes on the production website after making local changes :)
|
|
# This prevents people from looking for changes on the production website after making local changes :)
|
|
"godot_title_prefix": "" if on_rtd else "(DEV) ",
|
|
"godot_title_prefix": "" if on_rtd else "(DEV) ",
|