From ff79ca49dcc22c8796e5fab6bfa92a16e4b47df0 Mon Sep 17 00:00:00 2001 From: Benji Glitsos Date: Thu, 14 Mar 2024 11:17:24 +1100 Subject: [PATCH] Renamed 'deploy_banner' python module --- docs/_modules/{deploy_banner.py => pr_preview.py} | 0 docs/conf.py | 4 ++-- 2 files changed, 2 insertions(+), 2 deletions(-) rename docs/_modules/{deploy_banner.py => pr_preview.py} (100%) diff --git a/docs/_modules/deploy_banner.py b/docs/_modules/pr_preview.py similarity index 100% rename from docs/_modules/deploy_banner.py rename to docs/_modules/pr_preview.py diff --git a/docs/conf.py b/docs/conf.py index 661f2f0c6..93cbd100d 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -4,7 +4,7 @@ sys.path.insert(0, os.path.abspath('.')) from _modules import utilities from _modules import mock_imports -from _modules import deploy_banner +from _modules import pr_preview environment = { "build_mode": os.environ.get("BUILD_MODE"), @@ -143,7 +143,7 @@ } if environment["build_mode"] == "pr-preview": - html_theme_options["announcement"] = deploy_banner.banner() + html_theme_options["announcement"] = pr_preview.banner() html_context = { "default_mode": "light",