From f3156745713d7dd4e3250d4d3b41d8b8583c3e41 Mon Sep 17 00:00:00 2001 From: Stephannie Jimenez Date: Wed, 19 Jul 2023 16:57:16 -0500 Subject: [PATCH] Add version to the nav title --- spec/2021.12/conf.py | 4 ++++ spec/2022.12/conf.py | 3 +++ spec/draft/conf.py | 3 +++ 3 files changed, 10 insertions(+) diff --git a/spec/2021.12/conf.py b/spec/2021.12/conf.py index 04af8974d..cfbc80b25 100644 --- a/spec/2021.12/conf.py +++ b/spec/2021.12/conf.py @@ -6,4 +6,8 @@ from _array_api_conf import * release = "2021.12" + +nav_title = html_theme_options.get("nav_title") + " v{}".format(release) +html_theme_options.update({"nav_title": nav_title}) + sys.modules["array_api"] = stubs_mod diff --git a/spec/2022.12/conf.py b/spec/2022.12/conf.py index fd05b644e..1831a0387 100644 --- a/spec/2022.12/conf.py +++ b/spec/2022.12/conf.py @@ -6,4 +6,7 @@ from _array_api_conf import * release = "2022.12" + +nav_title = html_theme_options.get("nav_title") + " v{}".format(release) +html_theme_options.update({"nav_title": nav_title}) sys.modules["array_api"] = stubs_mod diff --git a/spec/draft/conf.py b/spec/draft/conf.py index 4a57229b2..a93585fef 100644 --- a/spec/draft/conf.py +++ b/spec/draft/conf.py @@ -6,4 +6,7 @@ from _array_api_conf import * release = "DRAFT" + +nav_title = html_theme_options.get("nav_title") + " {}".format(release) +html_theme_options.update({"nav_title": nav_title}) sys.modules["array_api"] = stubs_mod