Docs: Fixes to edit button (#43)

Farama-Foundation · Oct 8, 2022 · 6273299 · 6273299
1 parent 9285483
commit 6273299
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/docs/404.md b/docs/404.md
@@ -2,6 +2,6 @@
 hide-toc: true
 ---
 
-# 404
+# 404 - Page Not Found
 
-## Page Not Found
+## The requested page could not be found.
diff --git a/docs/conf.py b/docs/conf.py
@@ -77,7 +77,7 @@
 html_context["display_github"] = True
 html_context["github_user"] = "Farama-Foundation"
 html_context["github_repo"] = "Gymnasium"
-html_context["github_version"] = "master"
+html_context["github_version"] = "main"
 html_context["slug"] = "gymnasium"
 
 html_static_path = ["_static"]

diff --git a/docs/scripts/gen_mds.py b/docs/scripts/gen_mds.py
@@ -108,7 +108,7 @@
         )
 
         front_matter = f"""---
-AUTOGENERATED: DO NOT EDIT FILE DIRECTLY
+autogenerated:
 title: {title_env_name}
 {related_pages_meta}---
 """