Fix missing edit button (#431)

This commit is contained in:
Manuel Goulão
2023-04-05 14:56:49 +01:00
committed by GitHub
parent 066b843e6d
commit 0787b0dfcd

View File

@@ -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 = []