Update gif images for maze environments (#172)

* remove gifs * re-add gifs * remove version from file * pre-commit --------- Co-authored-by: rodrigodelazcano <[email protected]>
Farama-Foundation · Sep 8, 2023 · 5a1128e · 5a1128e
1 parent 280cf9a
commit 5a1128e
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 2 deletions.
diff --git a/docs/_scripts/gen_mds.py b/docs/_scripts/gen_mds.py
@@ -10,6 +10,7 @@
 
 from importlib import import_module
 from utils import trim
+import re
 
 
 # REWRITE: generate md's for new environments that don't belong to Fetch or Shadow Hand
@@ -43,8 +44,6 @@
     docstring = trim(docstring)
 
     split_entrypoint = module.split(".")
-    title_env_name = split_entrypoint[-1].replace("_", " ").title()
-
     if len(split_entrypoint) == 4:
         env_type = split_entrypoint[-2]
         env_name = split_entrypoint[-1]
@@ -53,6 +52,10 @@
         env_type = split_entrypoint[-1]
         env_name = split_entrypoint[-1]
 
+    # Remove file version from env_name
+    env_name = re.sub(r"(?:_v(?P<version>\d+))", "", env_name)
+    title_env_name = env_name.replace("_", " ").title()
+
     v_path = os.path.join(
         os.path.dirname(__file__),
         "..",

diff --git a/docs/_static/videos/maze/ant_maze.gif b/docs/_static/videos/maze/ant_maze.gif
diff --git a/docs/_static/videos/maze/point_maze.gif b/docs/_static/videos/maze/point_maze.gif