From f85b4851f7377347ef183212fa8353459db5f041 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Manuel=20Goul=C3=A3o?= Date: Thu, 3 Nov 2022 10:34:54 +0000 Subject: [PATCH] Small improvements to environments pages (#110) --- docs/scripts/gen_mds.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/docs/scripts/gen_mds.py b/docs/scripts/gen_mds.py index 022a77942..eb7acdab0 100644 --- a/docs/scripts/gen_mds.py +++ b/docs/scripts/gen_mds.py @@ -119,7 +119,7 @@ title: {title_env_name} + f" \n:width: 200px\n:name: {snake_env_name}\n```" ) info = ( - "This environment is part of the" + "This environment is part of the " + f"{env_type_title} environments." + "Please read that page first for general information." ) @@ -135,6 +135,8 @@ title: {title_env_name} if hasattr(high, "shape"): if len(high.shape) == 3: high = high[0][0][0] + if env_type == "mujoco": + high = high[0] high = np.round(high, 2) high = str(high).replace("\n", " ") env_table += f"| Observation High | {high} |\n"