From e7c8a8cb59195a55796c450690b2f232905f10e2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Manuel=20Goul=C3=A3o?= Date: Wed, 19 Oct 2022 15:20:14 +0100 Subject: [PATCH] Remove unnecessary links in the docs page (#65) --- docs/conf.py | 2 +- docs/index.md | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/docs/conf.py b/docs/conf.py index 1e02712ba..4116c9688 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -79,7 +79,7 @@ html_theme_options = { } html_context: Dict[str, Any] = {} html_context["conf_py_path"] = "/docs/" -html_context["display_github"] = True +html_context["display_github"] = False html_context["github_user"] = "Farama-Foundation" html_context["github_repo"] = "Gymnasium" html_context["github_version"] = "main" diff --git a/docs/index.md b/docs/index.md index a7763bb20..205110dcf 100644 --- a/docs/index.md +++ b/docs/index.md @@ -77,5 +77,4 @@ tutorials/* :caption: Development Github -Donate ```