From 1f22924a9a5da9348f7a766487fd5b2f449f5b95 Mon Sep 17 00:00:00 2001 From: Pedro Algarvio Date: Thu, 29 Feb 2024 15:25:45 +0000 Subject: [PATCH] Fix the broken `tools docs` command during the merge-forward --- tools/docs.py | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/tools/docs.py b/tools/docs.py index 63cbb331797..3471ea1e8f2 100644 --- a/tools/docs.py +++ b/tools/docs.py @@ -27,6 +27,12 @@ docs = command_group( requirements_files=[ tools.utils.REPO_ROOT / "requirements" / "base.txt", tools.utils.REPO_ROOT / "requirements" / "zeromq.txt", + tools.utils.REPO_ROOT + / "requirements" + / "static" + / "ci" + / "py{}.{}".format(*sys.version_info) + / "docs.txt", ], install_args=[ "--constraint",