From 5c4340d30c462f9977e4c40ee413d75949bc2f30 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?R=C3=A9mi=20Verschelde?= Date: Sat, 15 Jun 2019 00:13:16 +0200 Subject: [PATCH] Disable "Edit on GitHub" button on localized instances --- conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/conf.py b/conf.py index 62b21070e..d8818f56c 100644 --- a/conf.py +++ b/conf.py @@ -68,7 +68,7 @@ html_theme_options = { # VCS options: https://docs.readthedocs.io/en/latest/vcs.html#github html_context = { - "display_github": True, # Integrate GitHub + "display_github": !tags.has("i18n"), # Integrate GitHub "github_user": "godotengine", # Username "github_repo": "godot-docs", # Repo name "github_version": "master", # Version