From 0787b0dfcdb7c33a8523adfa83bed5a6d5f46f03 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Manuel=20Goul=C3=A3o?= Date: Wed, 5 Apr 2023 14:56:49 +0100 Subject: [PATCH] Fix missing edit button (#431) --- docs/conf.py | 11 +++-------- 1 file changed, 3 insertions(+), 8 deletions(-) diff --git a/docs/conf.py b/docs/conf.py index da52efa49..e74c8ec00 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -17,7 +17,6 @@ # -- Project information ----------------------------------------------------- import os import re -from typing import Any, Dict import sphinx_gallery.gen_rst @@ -100,14 +99,10 @@ html_theme_options = { "description": "A standard API for reinforcement learning and a diverse set of reference environments (formerly Gym)", "image": "img/gymnasium-github.png", "versioning": True, + "source_repository": "https://github.com/Farama-Foundation/Gymnasium/", + "source_branch": "main", + "source_directory": "docs/", } -html_context: Dict[str, Any] = {} -html_context["conf_py_path"] = "/docs/" -html_context["display_github"] = False -html_context["github_user"] = "Farama-Foundation" -html_context["github_repo"] = "Gymnasium" -html_context["github_version"] = "main" -html_context["slug"] = "gymnasium" html_static_path = ["_static"] html_css_files = []