diff --git a/docs/hooks/nightly_banner.py b/docs/hooks/nightly_banner.py index b573060b..caac37a3 100644 --- a/docs/hooks/nightly_banner.py +++ b/docs/hooks/nightly_banner.py @@ -8,6 +8,7 @@ import mkdocs.plugins def on_config(config): print("Running nightly banner hook...", file=sys.stderr) + # From https://github.com/jimporter/mike/blob/3351d5feabff8ee107f4ad6d1f86055843c7dbf1/mike/mkdocs_utils.py#L13 version = os.environ.get("MIKE_DOCS_VERSION") print(f"Version: {version}", file=sys.stderr)